https://arxiv.org/api/SQpGHLaEgw68WK/FdGjn3sjlv4k 2026-04-04T09:28:18Z 15337 270 15 http://arxiv.org/abs/2510.07222v2 2026-02-26T13:38:50Z

For Van Douwen families, maximal families of eventually different permutations and maximal ideal independent families we show that the existence of a $Σ^1_2$ family implies the existence of a $Π^1_1$ family of the same size. We also prove a similar, but slightly weaker result for generating sets of cofinitary groups.

2025-10-08T16:56:13Z 12 pages; submitted Julia Millhouse Lukas Schembecker http://arxiv.org/abs/2311.18551v4 2026-02-26T12:03:35Z

We present a new fragment of axiomatic set theory for pure sets and for the iteration of power sets within given transitive sets. It turns out that this formal system admits an interesting hierarchy of models with true membership relation and with only finite or countably infinite ordinals. Still a considerable part of mathematics can be formalized within this system.

2023-11-30T13:37:59Z We have corrected some typos and improved our notation. 34 pages Matthias Kunik http://arxiv.org/abs/2602.22741v1 2026-02-26T08:29:18Z

We provide a convergence result for sequences of random variables taking values in a metric space that satisfy a stochastic quasi-Fejér monotonicity condition, in the context of a (local) compactness assumption. Our result is quantitative in that we derive an explicit and effective construction which, in terms of only a few moduli representing quantitative witnesses to key properties of the sequence of random variables and the underlying metric space involved, provides a metastable rate of pointwise convergence, a type of generalized fluctuation bound. That quantitative result in particular relies on the development of a finitary theory of martingales, culminating in a fully finitary Robbins-Siegmund theorem. We outline how this result particularises to the circumstances of the seminal work of Combettes and Pesquet on stochastic quasi-Fejér monotone sequences in separable Hilbert spaces, and we provide an initial application by illustrating how these results can be used to provide a metastable rate of pointwise convergence for a stochastic Krasnoselskii-Mann scheme solving a stochastic common fixed point problem for nonexpansive maps over proper Hadamard spaces. This work is set in the context of recent applications of the logic-based methodology of proof mining to probability theory, and represents its most sophisticated case study to date.

2026-02-26T08:29:18Z 52 pages Morenikeji Neri Nicholas Pischke Thomas Powell http://arxiv.org/abs/2602.19960v3 2026-02-26T02:58:30Z

Odifreddi asked whether every non-irreducible many-one degree must contain an infinite antichain of one-one degrees. Positive answers are known for computably enumerable many-one degrees (Degtev) and, more recently, for many-one degrees admitting a $Δ^0_2$ representative (Batyrshin). In this note we isolate a rigidity principle behind these phenomena. Call a set $A\subseteqω$ \emph{$m$-rigid} if every total computable $m$-autoreduction of $A$ is eventually the identity. We prove that if $A$ is $m$-rigid, then its many-one degree $°_m(A)$ contains an infinite antichain of $1$-degrees. The proof uses a uniform duplication construction: for each computable parameter $S$ we define $B_S\equiv_m A$ so that any injective reduction $B_S\le_1 B_T$ induces an $m$-autoreduction of $A$ and therefore forces $S\subseteq^{*}T$. Choosing an almost-inclusion infinite antichain of computable sets yields the desired infinite $1$-antichain inside $°_m(A)$. As applications, Jockusch's rigidity theorem implies that every $1$-generic set is $m$-rigid, giving a comeager family of positive instances. Moreover, $m$-rigidity holds with Lebesgue measure $1$ (indeed, every Martin-Löf random real is $m$-rigid). Consequently, Odifreddi's Question~5 has a positive answer \emph{with probability $1$} for a fair-coin random $A\in 2^ω$; any counterexample (if it exists) is confined to a null set (and, by genericity, also to a meager set).

2026-02-23T15:27:20Z Patrizio Cintioli http://arxiv.org/abs/2506.13524v3 2026-02-26T00:01:25Z

Joel Hamkins asks whether there is a $Π^0_1$-formula $ρ(x)$ such that $ρ(φ)$ is independent over ${\sf PA}+φ$, if this theory is consistent, where this construction is extensional in $φ$ with respect to ${\sf PA}$-provable equivalence. We show that there can be no such extensional Rosser formula of any complexity. We give a positive answer to Hamkins' question for the case where we replace Extensionality by a weaker demand *Consistent Extensionality*. We also prove that we can demand the negation of $ρ$ to be $Π^0_1$-conservative, if we ask for the still weaker *Conditional Extensionality*. We show that an intensional version of the result for Conditional Extensionality cannot work.

2025-06-16T14:17:45Z This preprint extends and supersedes the earlier preprint [arXiv:2502.09109] *On a Question of Hamkins'* by Albert Visser Taishi Kurahashi Albert Visser http://arxiv.org/abs/2601.19045v2 2026-02-25T23:19:08Z

We answer a recent question of Csóka and Vidnyánszky [arXiv:2407.10006] and give an alternate proof of one of their results. The subject of both is which finite graphs admit factor of i.i.d. homomorphisms from the 3-regular tree. We then give yet another proof of the result in the Borel setting which leads to the following: For each $d > 2$ and $k \in \mathbb{N}$, there is a Borel hyperfinite $d$-regular forest $G$ and a finite graph with chromatic number $k$, $H$, so that $G$ does not admit a Borel homomorphism to $H$. All of this is tied together by a focus on the case when the target graph $H$ is a (subgraph of a) Kneser graph.

2026-01-27T00:01:52Z Felix Weilacher http://arxiv.org/abs/2601.19039v2 2026-02-25T23:16:45Z

We show that a circle and square of the same area in $\mathbb{R}^2$ are equidecomposable by translations using $\mathbfΔ^0_2$ pieces. That is, pieces which are simultaneously $F_σ$ and $G_δ$ sets. This improves a result of Máthé-Noel-Pikhurko and is the best possible complexity in terms of the Borel hierarchy. More generally we show that bounded sets $A,B \subseteq \mathbb{R}^n$ with small enough boundaries and the same nonzero Lebesgue measure are equidecomposable with pieces that are countable unions of finite Boolean combinations of translates of $A,B$, and open sets. The improvement comes from constructions of low complexity toasts and related objects which should be independently useful within Borel combinatorics.

2026-01-26T23:41:32Z Spencer Unger Narmada Varadarajan Felix Weilacher http://arxiv.org/abs/2602.22398v1 2026-02-25T20:47:42Z

One measure of the complexity of a first-order theory, and similarly a type, is the complexity of the formulas required to axiomatize it. We say a theory is bounded if there is an axiomatization involving only $\forall_n$-formulas for some finite $n$, and unbounded otherwise. One might expect bounded theories to have only bounded types. In fact, an analogue holds in infinitary logic, where the complexity of a Scott sentence roughly agrees with the complexity of the most complicated automorphism orbit. Our main result, however, shows this is not the case in the first-order setting: Namely, there can be a bounded theory, in fact $\forall_1$-axiomatizable, which has unbounded types.

2026-02-25T20:47:42Z Hongyu Zhu http://arxiv.org/abs/2602.22135v1 2026-02-25T17:28:42Z

In type theory, an oracle may be specified abstractly by a predicate whose domain is the type of queries asked of the oracle, and whose proofs are the oracle answers. Such a specification induces an oracle modality that captures a computational intuition about oracles: at each step of reasoning we either know the result, or we ask the oracle a query and proceed upon receiving an answer. We characterize an oracle modality as the least one forcing the given predicate. We establish an adjoint retraction between modalities and propositional containers, from which it follows that every modality is an oracle modality. The left adjoint maps sums to suprema, which makes suprema of modalities easy to compute when they are given in terms of oracle modalities. We also study sheaves for oracle modalities. We describe sheafification in terms of a quotient-inductive type of computation trees, and describe sheaves as algebras for the corresponding monad. We also introduce equifoliate trees, an intensional notion of oracle computation given by a (non-propositional) container. Equifoliate trees descend to sheaves, and lift from sheaves in case the container is projective. As an application, we give a concrete description of all Lawvere-Tierney topologies in a realizability topos, closely related to a game-theoretic characterization by Takayuki Kihara.

2026-02-25T17:28:42Z Danel Ahman Andrej Bauer http://arxiv.org/abs/2602.21970v1 2026-02-25T14:52:55Z

We separate the Collection Principle, the Reflection Principle, and the Partial Reflection Principle in ZF with urelements (ZFU), despite their equivalence under the Axiom of Choice. In particular, Collection and the Partial Reflection Principle are independent of one another, and Collection together with Partial Reflection does not imply the Reflection Principle. We show that Reflection and Collection are equivalent assuming either the Tail axiom or Small Violations of Choice.

2026-02-25T14:52:55Z Elliot Glazer Bokai Yao http://arxiv.org/abs/2602.21960v1 2026-02-25T14:43:06Z

A bi-Heyting algebra validates the Gödel-Dummett axiom $(p \to q) \lor (q \to p)$ iff the poset of its prime filters is a disjoint union of co-trees. Bi-Heyting algebras of this kind are called bi-Gödel algebras and form a variety $\operatorname{\mathsf{bi-GA}}$ that algebraizes the extension $\operatorname{\mathsf{bi-GD}}$ of bi-intuitionistic logic axiomatized by the Gödel-Dummett axiom. In this paper we show that there are only countably many locally tabular bi-intermediate logics of co-trees, all of which are finitely axiomatizable. The theory of canonical formulas of bi-Gödel algebras has shown that $\operatorname{\mathsf{bi-GA}}$ has continuum many subvarieties, among which the locally finite ones coincide with the subvarieties of the $\mathsf{V}_n \coloneqq \{\mathbf{A} \in \operatorname{\mathsf{bi-GA}} \colon \mathbf{A} \models β(\mathfrak{C}_n)\}$ (where $β(\mathfrak{C}_n)$ is the subframe formula of the $n$-comb). We identify the multiset projectivity relation (a binary relation that, when defined on the set of finite multisets of a better partial order, is necessarily a better partial order) and use it to prove that every $\mathsf{V}_n$ is a Specht variety, hence has only countably many subvarieties, all of which are finitely axiomatizable. By the algebraizability of $\operatorname{\mathsf{bi-GD}}$, the main result follows. We also provide an informative depiction of the lattice of varieties of bi-Gödel algebras.

2026-02-25T14:43:06Z Miguel Martins http://arxiv.org/abs/2602.11906v2 2026-02-25T13:56:01Z

Le Houérou, Patey and Yokoyama defined a parameterized version of $α$-largeness to prove that $\mathsf{WKL}_0 + \mathsf{RT}^2_2$ is a $\forall Σ^0_3$-conservative extension of $\mathsf{RCA}_0 + \mathsf{B}Σ^0_2$, where $\forall Σ^0_3$ is the universal set-closure of the class of $Σ^0_3$-formulas. We introduce a variant of this notion of largeness and obtain polynomial bounds, using a tree partition theorem based on Milliken's tree theorem. Thanks to the framework of forcing interpretation, this yields that any proof of a $\forall Σ^0_3$-sentence in the theory $\mathsf{WKL}_0 + \mathsf{RT}^2_2$ can be translated into a proof in $\mathsf{RCA}_0 + \mathsf{B}Σ^0_2$ at the cost of a polynomial increase in size.

2026-02-12T13:05:28Z 32 pages Quentin Le Houérou Ludovic Patey http://arxiv.org/abs/2602.21898v1 2026-02-25T13:28:43Z

This paper investigates the intersection of residuated structures from many-valued logic and orthomodular lattices from quantum logic. We explore whether non-Boolean structures can simultaneously satisfy residuation principles and orthocomplementation requirements. Our main contribution is a study of Girard posets with inversions, providing a characterization theorem where a unital residuated poset is Girard if and only if it admits an inversion satisfying specific adjointness conditions. We prove that any complemented lattice admitting an integral residuated structure must be Boolean, which motivates our search for orthomodular examples in the non-integral case. We answer this by demonstrating that the lattice $C(\mathbb{R}^n)$ of closed subspaces of $n$-dimensional real coordinate space carries both an orthomodular and a commutative Girard quantale structure. This construction provides a concrete non-Boolean framework unifying quantum-logical and many-valued logical reasoning.

2026-02-25T13:28:43Z Michal Botur David Kruml Jan Paseka http://arxiv.org/abs/2406.14790v6 2026-02-25T10:45:01Z

This paper is a contribution to the study of extensions of arbitrary models of ZF (Zermelo-Fraenkel set theory), with no regard to countability or well-foundedness of the models involved. We present some new constructions of certain types of extensions, and also establish the existence of models of ZF that cannot be properly end extended to a model of ZF.

2024-06-20T23:35:04Z 31 pages; the paper has been further polished; the most significant changes concern the proof of Theorems 2.12 (where the proof has been simplified), and the first proof of Theorem 3.1 (where the book-keeping argument of the proof has been made more explicit) Ali Enayat 10.1017/jsl.2026.10199 http://arxiv.org/abs/2602.21310v1 2026-02-24T19:32:53Z

Binary idempotent semirings govern classical path algebras. Their multiplicative structure is dyadic. We examine whether this restriction is structural or accidental. We define ternary idempotent $Γ$-semirings as higher-arity ordered algebraic systems admitting associative ternary composition compatible with idempotent addition. We prove that such structures strictly extend classical semiring path algebras. In particular, we construct a ternary associative operation which cannot be represented as an iterated associative binary operation. This establishes non-reducibility. We formulate a higher-order path problem in directed graphs with weights in a ternary idempotent $Γ$-semiring. The associated relaxation operator is shown to be monotone on a complete lattice and to admit a least fixed point. Convergence follows under a finite acyclicity condition. The combinatorial growth of interaction windows yields a distinct complexity class relative to binary path schemes. These results indicate that dyadic semiring frameworks do not exhaust algebraic path formalisms. Higher-arity composition introduces structural phenomena absent in binary systems.

2026-02-24T19:32:53Z Chandrasekhar Gokavarapu Department of Mathematics Acharya Nagarjuna University, India and Government College D. Madhusudhana Rao Department of Mathematics, Acharya Nagarjuna University, Guntur, India, and Government College for Women