https://arxiv.org/api/pfA3CcWNLYt6f10c22DbsdrYTlE 2026-03-22T10:19:28Z 15279 15 15 http://arxiv.org/abs/2603.14264v2 2026-03-18T10:19:03Z

We prove that there exists a weak truth-table introimmune set in the class $Π^0_1$, settling the question left open in previous work of whether the known $Δ^0_2$ existence result can be improved to $Π^0_1$. Since $Σ^0_1$ sets cannot be immune, this is best possible for weak truth-table introimmunity. We also study introimmunity for Jockusch's bounded-search reducibility $\le_{bs}$ and Andersen's Dartmouth reducibility $\le_D$, proving the existence of $Δ^0_2$ sets that are $bs$-introimmune and $D$-introimmune; hence there also exists a $Δ^0_2$ $D^+$-introimmune set. We next consider the classical reducibility $\le_Q$, which is not contained in $\le_T$ on all subsets of $ω$. We show that no infinite $Π^0_1$ set is $Q$-introimmune, while a $Δ^0_2$ $Q$-introimmune set does exist. Thus the existence of $Δ^0_2$ $Q$-introimmune sets is best possible within the arithmetical hierarchy. Finally, for enumeration reducibility $\le_e$, we show that no infinite $Π^1_1$ set is $e$-introimmune, although $e$-introimmune sets do exist in the unrestricted sense. The proofs combine finite-injury priority arguments with dynamic spacing methods for $\le_{wtt}$, $\le_{bs}$, and $\le_D$, a bit-by-bit finite-extension construction for $\le_Q$, and an application of Soare's abstract existence theorem in the enumeration case.

2026-03-15T07:47:27Z v2: Minor revision: added a bibliographic reference Patrizio Cintioli http://arxiv.org/abs/2603.17411v1 2026-03-18T06:41:43Z

We review recent results on Radon-Nikodýmification of abstract measure spaces, the particular case of integral geometric measure, and applications to the dual of SBV.

2026-03-18T06:41:43Z arXiv admin note: substantial text overlap with arXiv:2105.11331, arXiv:1909.10190 Thierry De Pauw http://arxiv.org/abs/2508.11972v2 2026-03-18T05:36:18Z

We prove completeness results for a wide variety of intuitionistic conditional logics. We do so by first using a canonical model construction obtain completeness with respect to descriptive conditional frames, and then introducing the fill-in method to transfer this to classes of conditional frames without extra structure. The fill-in method closes the gap between descriptive conditional frames, which do not have a canonical underlying frame, and conditional frames.

2025-08-16T08:21:48Z Brendan Dufty Jim de Groot http://arxiv.org/abs/2503.24207v5 2026-03-18T04:19:44Z

Let $E$ be a vector space over a countable field of dimension $\aleph_0$. Two infinite-dimensional subspaces $V,W \subseteq E$ are almost disjoint if $V \cap W$ is finite-dimensional. This paper provides some improvements on results about the definability of maximal almost disjoint families (mad families) of subspaces in [18]. We construct a full mad family of block subspaces in ZFC, answering a problem by Smythe in the positive. A variant of this construction shows that there exists a completely separable mad family of block subspaces in ZFC. We also discuss the abstract Mathias forcing introduced by Di Prisco-Mijares-Nieto in [12], and apply it to show that in the Solovay's model obtained by the collapse of a Mahlo cardinal, there are no full mad families of block subspaces over $\mathbb{F}_2$.

2025-03-31T15:24:19Z 50 pages. Final accepted version in Fundamenta Mathematicae Clement Yung http://arxiv.org/abs/2603.17084v1 2026-03-17T19:12:27Z

We begin the investigation of the free factor complex of a free group of finite rank. For the case of rank 2 we axiomatize its theory and show that it is $ω$-stable with prime model $AF_2$.

2026-03-17T19:12:27Z Zahra Mohammadi Khangheshlaghi Katrin Tent http://arxiv.org/abs/2603.16802v1 2026-03-17T17:06:10Z

Computational properties of the Hahn-Banach theorem have been studied in computable, constructive and reverse mathematics and in all these approaches the theorem is equivalent to weak Kőnig's lemma. Gherardi and Marcone proved that this is also true in the uniform sense of Weihrauch complexity. However, their result requires the underlying space to be variable. We prove that the Hahn-Banach theorem attains its full complexity already for the Banach space $\ell^1$. We also prove that the one-step Hahn-Banach theorem for this space is Weihrauch equivalent to the intermediate value theorem. This also yields a new and very simple proof of the reduction of the Hahn-Banach theorem to weak Kőnig's lemma using infinite products. Finally, we show that the Hahn-Banach theorem for $\ell^1$ in the two-dimensional case is Weihrauch equivalent to the lesser limited principle of omniscience.

2026-03-17T17:06:10Z Vasco Brattka Christopher Sorg http://arxiv.org/abs/2603.16754v1 2026-03-17T16:33:23Z

In this paper, we present a first-order frame condition for interpretability logic and show that the condition is not modally definable. Yet, the frame-condition holds both on ILM and on ILP frames and, hence, is of potential importance for the long-standing open problem about the interpretability logic of all reasonable arithmetical theories. In the light of the Goldblatt-Thomason Theorem, the modally inexpressible frame condition serves as motivation to develop ultrafilter extensions for inter pretability logic. We develop the necessary algebraic tools to define these ultrafilter extensions and prove the main properties about both the tools and the ultrafilter extensions.

2026-03-17T16:33:23Z Felix Frigola Gonzalez Joost J. Joosten Vicent Navarro Arroyo Cosimo Perini Brogi http://arxiv.org/abs/2603.03115v2 2026-03-17T15:14:45Z

We prove partition regularity of the configuration $x,y,x+y,y/x$ in a strong infinitary form that extends Hindman's Theorem. We study the related issue of partition regularity of configurations involving products of a degree one polynomial in $x$ with one in $y$, reducing the general problem to a handful of special cases.

2026-03-03T15:47:38Z Minor corrections Mauro Di Nasso Lorenzo Luperi Baglini Rosario Mennuni Mariaclara Ragosta Alessandro Vegnuti http://arxiv.org/abs/2603.16613v1 2026-03-17T14:52:18Z

A digraph $\mathbb G$ is called weakly connected, strongly connected, and extremely connected if any two vertices of $\mathbb G$ are connected respectively by an oriented, a directed, and a symmetric path in $\mathbb G$. We investigate the algebraic properties of digraphs that force some of these connectivity notions to coincide. We prove that for digraphs with a Hobby-McKenzie polymorphism, the strong and the extreme components coincide. Conversely, if the strong and the extreme components of any compatible digraph in an equational class of algebras coincide, then the class must have a Hobby-McKenzie term. As a consequence, we obtain that an equational class $\mathcal V$ is $n$-permutable for some $n$ if and only if the weak components of any compatible reflexive digraph in $\mathcal V$ are extremely connected.

2026-03-17T14:52:18Z Gergő Gyenizse Miklós Maróti László Zádori http://arxiv.org/abs/2510.11034v3 2026-03-17T12:27:24Z

We show that the Axiom of Real Determinacy $\mathsf{AD}_{\mathbb{R}}$ and the Axiom of Real Blackwell Determinacy $\mathsf{Bl}\text{-}\mathsf{AD}_{\mathbb{R}}$ are equivalent in $\mathsf{ZF}$+$\mathsf{DC}$. This answers the question of Löwe [15, Question 53]. While we do not know whether they are equivalent in $\mathsf{ZF}$+$\mathsf{AC}_ω (\mathbb{R})$, we show that the theories $\mathsf{ZF}$+$\mathsf{AD}_{\mathbb{R}}$ and $\mathsf{ZF}$+$\mathsf{AC}_ω (\mathbb{R})$+$\mathsf{Bl}\text{-}\mathsf{AD}_{\mathbb{R}}$ are equiconsistent.

2025-10-13T06:09:48Z Daisuke Ikegami W. Hugh Woodin http://arxiv.org/abs/2603.16437v1 2026-03-17T12:19:07Z

We present a compilation framework in which dimensional type annotations persist through multi-stage MLIR lowering, enabling the compiler to jointly resolve numeric representation selection and deterministic memory management as coeffect properties of a single program semantic graph (PSG). Dimensional inference determines value ranges; value ranges determine representation selection; representation selection determines word width and memory footprint; and memory footprint, combined with escape classification, determines allocation strategy and cross-target transfer fidelity. The Dimensional Type System (DTS) extends Hindley-Milner unification with constraints drawn from finitely generated abelian groups, yielding inference that is decidable in polynomial time, complete, and principal. Where conventional systems erase dimensional annotations before code generation, DTS carries them as compilation metadata through each lowering stage, making them available where representation and memory placement decisions occur. Deterministic Memory Management (DMM), formalized as a coeffect discipline within the same graph, unifies escape analysis and memory placement with the dimensional framework. Escape analysis classifies value lifetimes into four categories (stack-scoped, closure-captured, return-escaping, byref-escaping), each mapping to a verified allocation strategy. We identify implications for auto-differentiation: the dimensional algebra is closed under the chain rule, and forward-mode gradient computation exhibits a coeffect signature that the framework can verify. The practical consequence is a development environment where escape diagnostics, allocation strategy, representation fidelity, and cache locality estimation are design-time views over the compilation graph.

2026-03-17T12:19:07Z 29 pages, 1 table, 3 appendices with extended examples Houston Haynes http://arxiv.org/abs/2602.21326v2 2026-03-17T11:05:25Z

We build on our previous paper \cite{constructive} by using the general method introduced there in conjunction with invariant theory. This yields quantifier elimination results for the classical quaternions, octonions, as well as other classes of finite-dimensional algebras over real closed and algebraically closed fields. In particular, the first two examples answer an open question posed recently in \cite{savi}.

2026-02-24T19:48:03Z 17 pages Maximilian Illmer http://arxiv.org/abs/2504.08923v2 2026-03-17T09:38:20Z

We consider continuous relational structures with finite domain $[n] := \{1, \ldots, n\}$ and a many valued logic, $CLA$, with values in the unit interval and which uses continuous connectives and continuous aggregation functions. $CLA$ subsumes first-order logic on ``conventional'' finite structures. To each relation symbol $R$ and identity constraint $ic$ on a tuple the length of which matches the arity of $R$ we associate a continuous probability density function $μ_R^{ic} : [0, 1] \to [0, \infty)$. We also consider a probability distribution on the set $\mathbf{W}_n$ of continuous structures with domain $[n]$ which is such that for every relation symbol $R$, identity constraint $ic$, and tuple $\bar{a}$ satisfying $ic$, the distribution of the value of $R(\bar{a})$ is given by $μ_R^{ic}$, independently of the values for other relation symbols or other tuples. In this setting we prove that every formula in $CLA$ is asymptotically equivalent to a formula without any aggregation function. This is used to prove a convergence law for $CLA$ which reads as follows for formulas without free variables: If $\varphi \in CLA$ has no free variable and $I \subseteq [0, 1]$ is an interval, then there is $α\in [0, 1]$ such that, as $n$ tends to infinity, the probability that the value of $\varphi$ is in $I$ tends to $α$.

2025-04-11T19:08:38Z Vera Koponen http://arxiv.org/abs/2602.01739v2 2026-03-17T07:59:01Z

Under $\mathrm{ZF}$, we show that the statement that every subset of every $\mathbb{R}$-vector space has a maximal convex subset is equivalent to the Axiom of Choice. We also study the strength of the same statement restricted to some specific $\mathbb{R}$-vector spaces. In particular, we show that the statement for $\mathbb{R}^2$ is equivalent to the Axiom of Countable Choice for reals, whereas the statement for $\mathbb{R}^3$ is equivalent to the Axiom of Uniformization. We discuss the statement for some spaces of higher dimensions as well.

2026-02-02T07:20:45Z 29 pages, 1 figure. Proposition 8.4, Corollary 8.5, 8.6, Question 9.5 added, References added in section 1. A few more minor revisions Yasuo Yoshinobu http://arxiv.org/abs/2503.08258v4 2026-03-16T22:20:15Z

The main motivation for this article is to explore the connections between the existence of certain combinatorial patterns (as in van der Corputs's theorem on arithmetic progressions of length $3$) with well-known tools and theorems for definable groups in simple theories. In the last sections of this article, we apply our model-theoretic results to bound the number of initial points starting few arithmetic progression of length $3$ in the structure of the additive group of integers with a predicate for the prime integers, assuming Dickson's conjecture, or with a predicate for the square-free integers, as well as for asymptotic limits of finite fields. Our techniques yield similar results for the elements appearing as distances in skew-corners and for Sárközy's theorem on the distance of distinct elements being perfect squares.

2025-03-11T10:21:50Z Minor change before being accepted in J. London Math Soc Amador Martin-Pizarro Daniel Palacín