https://arxiv.org/api/HIJJ7WNsD916mTPyzvnYNad9Xq4 2026-04-05T17:10:46Z 15337 420 15 http://arxiv.org/abs/2602.05558v1 2026-02-05T11:29:48Z

The uncountability of the reals was first established by Cantor in what was later heralded as the first paper on set theory. Since the latter constitutes the official foundations of mathematics, the logical study of the uncountability of the reals is a worthy endeavour for historical, foundational, and conceptual reasons. In this paper, we shall study the following principle: $\textsf{NIN}_{[0,1]}$: there is no injection from the unit interval to the natural numbers. We show that relatively strong logical systems cannot prove $\textsf{NIN}_{[0,1]}$. In particular, the former system implies second-order arithmetic and fragments of the Axiom of Choice, including dependent choice. We also study the latter choice fragments in Kohlenbach's higher-order Reverse Mathematics.

2026-02-05T11:29:48Z 12 pages Dag Normann Sam Sanders http://arxiv.org/abs/2510.26849v4 2026-02-05T10:02:43Z

We introduce and develop propositional continuous intuitionistic logic and propositional continuous affine logic via complete algebraic semantics. Our approach centres on AC-algebras, which are algebras $USC(\mathcal{L})$ of sup-preserving functions from $[0,1]$ to an integral commutative residuated complete lattice $\mathcal{L}$ (in the intuitionistic case, $\mathcal{L}$ is a locale). We give an algebraic axiomatisation of AC-algebras in the language of continuous logic and prove, using the Macneille completion, that every Archimedean model embeds into some AC-algebra. We also show that (i) $USC(\mathcal{L})$ satisfies $v \dot + v = 2v$ exactly when $\mathcal{L}$ is a locale, (ii) involutiveness of negation in $USC(\mathcal{L})$ corresponds to that in $\mathcal{L} $, and that (iii) adding those conditions recovers classical continuous logic. For each variant -affine, intuitionistic, involutive, classical -we provide a sequent style deductive system and prove completeness and cut admissibility. This yields the first sequent style formulation of classical continuous logic enjoying cut admissibility.

2025-10-30T13:50:42Z Guillaume Geoffroy UCBL, ICJ, AGL http://arxiv.org/abs/2602.05185v1 2026-02-05T01:26:32Z

We initiate a systematic study of spectral theory for bounded-degree Borel pmp graphs. Specifically, we study spectral properties of the associated adjacency and Laplacian operators. We start with proving a spectral characterization of approximate measurable bipartiteness. Next, we adapt classical theorems of Wilf and Hoffman to give novel upper and lower bounds on the approximate measurable chromatic number. Using similar techniques, we then show that the approximate measurable chromatic number of a pmp graph generated by $n$ bounded-to-one functions is at most $2n + 1$. Next, concerning matchings, we introduce a measurable version of Tutte's condition and show that a spectral assumption analogous to the one from a classical theorem of Brouwer and Haemers implies this measurable Tutte condition. Finally, we show that the spectrum is continuous under local-global convergence.

2026-02-05T01:26:32Z 39 pages Cecelia Higgins Pieter Spaas Alexander Tenenbaum http://arxiv.org/abs/2602.04488v1 2026-02-04T12:23:05Z

This draft introduces the technical machinery of a semantic framework for potentialist truthmaking based on our innovation of intentic states, which are structured partial models accounting for our distinction between non-hypothetical and hypothetical reasoning. The framework is developed for first-order logic in a purely relational language and is compatible with both classical and intuitionistic settings. Truthmaking is defined via a recursive construction over intentic states, yielding a semantic consequence relation that is shown to be sound and complete with respect to standard natural deduction. The resulting structure supports two natural extension relations, corresponding to truthmaking growth and hypothetical refinement, which are shown to satisfy the axioms governing Linnebo's bi-modal potentialist semantics. Moreover, we investigate the computational properties of the non-hypothetical fragment of natural deduction. Motivated by proof-theoretic and semantic considerations, we formulate a conjecture that non-hypothetical logic is decidable over Peano Arithmetic in a purely relational axiomatization, and more ambitiously over any fixed Peano Arithmetic theorem taken as an additional axiom. A schematic proof-search procedure is drafted to support this conjecture, identifying structural sources of finiteness. While preliminary, this analysis suggests a strong subformula discipline for normal non-hypothetical proofs and provides a proof-theoretic foundation for future work.

2026-02-04T12:23:05Z Paul Gorbow http://arxiv.org/abs/2602.04468v1 2026-02-04T11:56:15Z

This expository article covers the recent developments surrounding Hilbert's tenth problem for finitely generated rings. We start by recounting the history of Hilbert's tenth problem over the integers, which was resolved negatively by Matiyasevich--Robinson--Davis--Putnam in 1970. In order to pass from $\mathbb{Z}$ to the finitely generated setting, we explain a criterion of Poonen that connects this to a problem in the theory of elliptic curves. Finally, we outline the main ideas behind the recent resolution of this elliptic curve problem by the authors.

2026-02-04T11:56:15Z Submitted to Notices of the AMS Peter Koymans Carlo Pagano http://arxiv.org/abs/2602.04286v1 2026-02-04T07:27:43Z

This paper investigates almost o-minimal structures, a weakening of o-minimality introduced by Fujita to capture structures that lie outside the classical o-minimal framework. In contrast to o-minimality and local o-minimality, almost o-minimality is not preserved under elementary equivalence. This raises the natural question of whether every almost o-minimal structure admits a proper elementary extension that is again almost o-minimal. The main result of this paper provides an affirmative answer to this question.

2026-02-04T07:27:43Z Mourad Berraho Akito Tsuboi http://arxiv.org/abs/2602.04073v1 2026-02-03T23:19:05Z

Stalnaker and Thomason famously proved that the conditional logic \textsf{C2} with first-order quantifiers is complete with respect to a selection function semantics. However, the selection functions used in this completeness result take formulas, rather than propositions (i.e., sets of worlds), as arguments. Yet Stalnaker has repeatedly emphasized the philosophical importance of viewing selection functions as functions on propositions, and many of the applications of his theory require this. Can their completeness result be extended to a selection function semantics in which the functions take propositions as arguments? We prove the answer is negative: Their logic is frame incomplete. Moreover, this result is invariant with respect to many choice points regarding the semantics, such as variable vs.~constant domains or whether to include an identity or existence predicate. We conclude by discussing some of the important and difficult questions for the philosophical and logical study of conditionals that our results raise.

2026-02-03T23:19:05Z Alexander W. Kocurek James Walsh Yale Weiss http://arxiv.org/abs/2601.19418v2 2026-02-03T17:43:03Z

Consider the following story: A teacher announces to her students a test for the following week, such that the test will be ``surprising''. The students use this as the basis for a ``logical derivation'' and reach a contradiction, which they (falsely) interpret as saying that there cannot be a test. The teacher gives a test e.g. on Wednesday, ``surprising'' the students. Its curious turns give the story the flavor of a paradox. Alternative names are the {\it unexpected hanging paradox\/} and the {\it prediction paradox}. Discussions and analyses of the story in the philosophical and mathematical literature are abundant, spanning 80 years until today. Apparently, none of the known explanations has been generally accepted as conclusive. We offer a fresh view, in propositional logic. ``Surprise'' is captured as unprovability of a certain formula from some axiom system. ``Knowledge'' corresponds to axiom systems and can be gained by mathematical proofs. The notorious property of self-reference in the announcement is cleanly accommodated. All errors made by the students are identified. A general analysis shows that the students cannot learn anything from the announcement. This is the first mathematically precise analysis of the story that shows that self-reference, full power of mathematical proofs, and truthfulness of the teacher can consistently coexist. The ``paradox'' vanishes. In order to facilitate comparisons with treatments using modal logic a version based on system S5 is also given. A formula $σ$ is identified that formalizes ``there will be a surprising test'', and it is shown that the students take the announcement to mean $\squareσ$ while in fact the information conveyed by it is not stronger than $\diamondσ$. This dissolves all contradictions or ``paradoxical'' issues.

2026-01-27T09:54:44Z 49 pages Martin Dietzfelbinger http://arxiv.org/abs/2512.25057v2 2026-02-03T17:38:46Z

We formalise the self-referential definition of physical laws using monotone operators on a lattice of theories, resolving the pathologies of naive set-theoretic formulations. By invoking Tarski fixed point theorem, we identify physical theories as the least fixed points of admissibility constraints derived from Galois connections. We demonstrate that QED and GR can be represented in such a logical structure with respect to their symmetry and locality principles.

2025-12-31T18:52:49Z Eren Volkan Küçük http://arxiv.org/abs/2602.03391v1 2026-02-03T11:13:45Z

This paper is aimed at showing separations between three subsets of $ω^ω$, namely $\mathsf{HYP}\text{-}\mathsf{SNE}$, $\mathsf{HYP}\text{-}\mathsf{SME}$, and $\mathsf{HYP}\text{-}\mathsf{DOM}$. These classes are natural computational analogues of cardinal characteristics from Cichon's diagram and are known to satisfy $\mathsf{HYP}\text{-}\mathsf{SNE} \subseteq \mathsf{HYP}\text{-}\mathsf{SME} \subseteq \mathsf{HYP}\text{-}\mathsf{DOM}$. To show that both of these inclusions are strict we introduce effectivizations of Laver and Hechler forcing, which we believe are of independent interest. Our techniques allow us to show similar results relative to any Turing ideal closed under $\leq_{\mathsf{HYP}}$.

2026-02-03T11:13:45Z Noam Greenberg Gian Marco Osso http://arxiv.org/abs/2602.03261v1 2026-02-03T08:45:03Z

In this note we study sets of NIP formulas in some theories of fields and valued fields, with a special focus on the sets of quantifier-free and existential formulas. First, we give a new proof of the fact that Separably Closed Valued Fields of any characteristic and any imperfection degree are NIP, and use this result to fill some gaps of a proof of the so-called NIP Transfer Theorem for henselian valued fields of equal characteristic. Second, we prove a variant of a theorem of Johnson: every positive characteristic valued field whose existential formulas are NIP is henselian. Finally, we set the ground for the finer question of transfer of NIP formulas of valued fields with bounded quantifier rank. Namely, we prove that for any henselian equicharacteristic valued field, any formula of quantifier rank at most $n\geq 1$ is NIP if and only if the same is true for the residue field and the value group, provided that the valued field is separably defectless Kaplansky and conditional on a multi-variable generalization of a well known statement about indiscernible sequences of singletons in ac-valued fields.

2026-02-03T08:45:03Z Paulo Andrés Soto Moreno http://arxiv.org/abs/2511.15867v2 2026-02-03T07:17:23Z

In classical model theory, the Keisler-Shelah theorem establishes a fundamental connection between the elementary equivalence of structures and the isomorphism of their ultrapowers. Motivated by this, one may ask whether an analogous relationship holds in the framework of continuous model theory, which naturally encompasses metric structures such as $\mathrm{C}^\ast$-algebras. In this paper, we investigate the isomorphism problem for ultraproducts of operator algebras from a model-theoretic perspective. We prove that, assuming the negation of the continuum hypothesis, there exist two elementarily equivalent infinite-dimensional unital $\mathrm{C}^\ast$-algebras $A$ and $B$ of size $\le \mathfrak c$ such that for all non-principal ultrafilters $\mathcal U, \mathcal V$ on $ω$, the ultrapowers $A^{\mathcal U}$ and $B^{\mathcal V}$ are not isomorphic. This result provides a continuous analogue of certain classical theorems concerning ultraproducts and demonstrates that the model-theoretic behavior of $\mathrm{C}^\ast$-algebras is closely related to set-theoretic principles such as the Continuum Hypothesis.

2025-11-19T20:44:46Z Akihiko Arai http://arxiv.org/abs/2602.02976v1 2026-02-03T01:25:53Z

We compute the sheaf cohomology with constant $\mathbb{Z}_2$ coefficients of a concrete class of locally profinite sets of independent interest. We introduce $k$-Fubini partitions to aid in constructions, which witness a failure of a Fubini theorem analog for these spaces. It is also shown that questions of intermediate cohomology degrees can be reduced to questions about top cohomology degrees by exhibiting nontrivial top cocycles as pointwise limits of coboundaries.

2026-02-03T01:25:53Z 22 pages, 4 figures Mark Schachner http://arxiv.org/abs/2602.02940v1 2026-02-03T00:24:37Z

Formal semantics and distributional semantics are distinct approaches to linguistic meaning: the former models meaning as reference via model-theoretic structures; the latter represents meaning as vectors in high-dimensional spaces shaped by usage. This paper proves that these frameworks are structurally compatible for intensional semantics. We establish that Kripke-style intensional models embed injectively into vector spaces, with semantic functions lifting to (multi)linear maps that preserve composition. The construction accommodates multiple index sorts (worlds, times, locations) via a compound index space, representing intensions as linear operators. Modal operators are derived algebraically: accessibility relations become linear operators, and modal conditions reduce to threshold checks on accumulated values. For uncountable index domains, we develop a measure-theoretic generalization in which necessity becomes truth almost everywhere and possibility becomes truth on a set of positive measure, a non-classical logic natural for continuous parameters.

2026-02-03T00:24:37Z 25 pages; 68 sources Daniel Quigley http://arxiv.org/abs/2602.02933v1 2026-02-03T00:07:09Z

Interpretation of a structure $\mathbb A$ in $\mathbb B$ allows to produce structures elementarily equivalent to $\mathbb A$ given those elementarily equivalent to $\mathbb B$. In particular, interpretation of the free group in $\mathbb N$ enables us to introduce and study a family of elementary free groups, which we call nonstandard free groups. More generally, for a wide class of groups we introduce nonstandard models arising from interpretation in $\mathbb N$. We exploit interpretation to show that under mild assumptions, ultrapowers of a group can be viewed as nonstandard models of that group. This leads us to describe the structure of the ultrapowers in terms of structure of nonstandard models of natural numbers, offering insight into a longstanding question of Malcev. We also introduce fundamentals of nonstandard combinatorial group theory such as the notions of nonstandard subgroups, nonstandard normal subgroups, and nonstandard group presentations.

2026-02-03T00:07:09Z 25 pages Alexei Miasnikov Andrey Nikolaev