Results 21 to 30 of about 401 (159)
ChemSusChem, Volume 19, Issue 12, 26 June 2026.This review examines thermo‐ and photocatalytic routes for converting CO2 to ethanol and analyzes how metal alloying, promoters, supports, surface structure, and semiconductor design govern catalyst activity, selectivity, and stability. It integrates mechanistic insights from experimental and theoretical studies and identifies the main challenges and ...
Bryan Rocano‐Merchan +7 more
wiley +1 more source
Construction of Satisfaction Classes for Nonstandard Models
, 1981 Given a resplendent model for Peano arithmetic there exists a full satisfaction class over , i.e. an assignment of truth-values, to all closed formulas in the sense of with parameters from , which satisfies the usual semantic rules. The construction is
A. H. Lachlan +2 more
core +1 more source
Emu (Dromaius novaehollandiae) diet is driven by the gradient of C3 and C4 plant availability
Ecosphere, Volume 17, Issue 6, June 2026.Abstract Intraspecific variation in diet is often influenced by geographic location, resource availability, trophic position, or foraging specialization and can result in environmental changes exerting heterogeneous effects across the species' distribution.
Julia Ryeland, Kate J. Brandis
wiley +1 more source
P, NP, Co-NP and weak systems of arithmetic
, 1996 We study the statements “NP = Co-NP” and “P = NP ∩ Co-NP” and their possible interpretations in weak systems of Arithmetic, in order to relate them to nonstandard models of ...
Sureson, Claude, Claude Sureson
core +1 more source
SmartBot, Volume 2, Issue 2, June 2026.Tendon‐sheath mechanisms are widely used in various robotic systems for remote position transmission, including aerospace vehicles, flexible rescue robots, dexterous robotic hands, exoskeleton robots, soft wearable devices, industrial robots, and flexible surgical robots.
Jiaqi Li, Qian Gao
wiley +1 more source
COMPUTABLE QUOTIENT PRESENTATIONS OF MODELS OF ARITHMETIC AND SET THEORY (Mathematical Logic and Its Applications) [PDF]
, 2017 We prove various extensions of the Tennenbaum phenomenon to the case of computable quotient presentations of models of arithmetic and set theory.
Hamkins, Joel David +1 more
core
Fixed points of self-embeddings of models of arithmetic
, 2018 We investigate the structure of fixed point sets of self-embeddings of models of arithmetic. In particular, given a countable nonstandard model M of a modest fragment of Peano arithimetic, we provide complete characterizations of (a) the initial segments
Saeideh Bahrami +3 more
core +1 more source
Determinacy on the edge of second‐order arithmetic, I
Journal of the London Mathematical Society, Volume 113, Issue 3, March 2026.Abstract This is the first of two articles on the strength of m$m{}$‐Σ30$\bm{\Sigma }^0_3{}$‐determinacy for m∈N$m\in \mathbb {N}$, the strongest theories of determinacy contained in Hilbert's second‐order arithmetic (Z2)$(Z_2)$. In this article, we refute two natural conjectures on the strength of these principles in terms of inductive definability ...
J. P. Aguilera, P. D. Welch
wiley +1 more source
The motive of the Hilbert scheme of points in all dimensions
Proceedings of the London Mathematical Society, Volume 132, Issue 3, March 2026.Abstract We prove a closed formula for the generating series Zd(t)$\mathsf {Z}_d(t)$ of the motives [Hilbd(An)0]$[\operatorname{Hilb}^d({\mathbb {A}}^n)_0]$ in K0(VarC)$K_0(\operatorname{Var}_{{\mathbb {C}}})$ of punctual Hilbert schemes, summing over n$n$, for fixed d>0$d>0$.
Michele Graffeo +3 more
wiley +1 more source
Ultrafast Adhesion/Friction Bidirectionally Switchable Control by Vibration
Advanced Functional Materials, Volume 36, Issue 8, 26 January 2026.Bioinspired gradient smooth architectures enable vibration‐switchable adhesion/friction with 62.02 kPa adhesion strength, 131.57 kPa shear strength, tilt angles ≥ 3°, roughness ≥ Ra 0.8 µm, 400 Hz antivibration robustness, and dual‐mode control. The synergy of geometry optimization and vibration modulation tuning bridges multidomain adaptability and ...
Jian Chen +10 more
wiley +1 more source