Results 21 to 30 of about 5,823 (137)
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
, 2013 We define a new topos, the Herbrand topos, inspired by the modified realizability topos and our earlier work on Herbrand realizability. We also introduce the category of Herbrand assemblies and characterise these as the double-negation-separated objects ...
Berg, Benno van den
core +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
Advanced Intelligent Systems, Volume 8, Issue 1, January 2026.The study presents a prototype novel workflow that utilizes artificial intelligence for the digitization of natural history collections, which would fit within a robotic‐integrated system. The work focuses on a collaborative‐robot (cobot) inspired workflow to digitize one of the largest collections housed at the Natural History Museum UK: pinned ...
Naifeng Zhang +4 more
wiley +1 more source
Model‐Based Semantics: Doing Without Meaning Constitution
Metaphilosophy, Volume 57, Issue 1-2, Page 103-118, January 2026.Abstract This paper introduces a model‐based account of meaning, arguing that meaning properties reside in models rather than in the external world. Building on this view, it explores how such an instrumentalist framework can engage critically with various concerns raised by Wittgenstein, Quine, and Kripke[nstein]—each of whom voiced scepticism toward ...
Pietro Salis
wiley +1 more source
The legacy of the Cartwright–Littlewood collaboration
Journal of the London Mathematical Society, Volume 113, Issue 1, January 2026.Abstract Mary L. Cartwright and John E. Littlewood published a short “preliminary survey” in 1945 describing results of their investigation of the forced van der Pol equation ÿ−k(1−y2)ẏ+y=bλkcos(λt+a)$$\begin{equation*} \ddot{y}-k(1-y^2)\dot{y}+y = b \lambda k \cos (\lambda t+a) \end{equation*}$$in which b,λ,k,a$b,\lambda,k,a$ are parameters with k$k$
John Guckenheimer
wiley +1 more source
Gastroenterology Research and Practice, Volume 2026, Issue 1, 2026.Background Helicobacter pylori (H. pylori) eradication in penicillin‐allergic patients poses a challenge. The currently recommended regimens are inadequate for clinical eradication therapy. Recent years have seen reports of new drugs, regimens, and study evidence in this field; yet comprehensive review articles on the treatment of H.
Yuxin Zhang +11 more
wiley +1 more source
Journal of Ophthalmology, Volume 2026, Issue 1, 2026.Purpose To compare the accuracy of different formulas for calculating toric intraocular lens (IOL) power. Methods PubMed, EBSCO, Web of Science, and the Cochrane Library were systematically searched for studies published from 2015 to 2025. Numbers of eyes with a prediction error (PE) within ±0.50 and ±1.00 diopters (D) were synthesized for the meta ...
Zhi Chen +4 more
wiley +1 more source
Partition Regularity of Nonlinear Polynomials: a Nonstandard Approach
, 2013 In 2011, Neil Hindman proved that for every natural number $n,m$ the polynomial \begin{equation*} \sum_{i=1}^{n} x_{i}-\prod\limits_{j=1}^{m} y_{j} \end{equation*} has monochromatic solutions for every finite coloration of $\mathbb{N}$.
Baglini, Lorenzo Luperi
core +1 more source