https://arxiv.org/api/Myt5lsJh03ippaASzzxOum3cSEY 2026-03-31T13:33:19Z 15319 225 15 http://arxiv.org/abs/2210.10076v3 2026-02-28T01:57:34Z

Hjorth proved from $ZF + AD + DC$ that there is no sequence of distinct $Σ^1_2$ sets of length $δ^1_2$. Sargsyan extended Hjorth's technique to show there is no sequence of distinct $Σ^1_{2n}$ sets of length $δ^1_{2n}$. Sargsyan conjectured an analogous property is true for any regular Suslin pointclass in $L(R)$ -- i.e. if $κ$ is a regular Suslin cardinal in $L(R)$, then there is no sequence of distinct $κ$-Suslin sets of length $κ^+$ in $L(R)$. We prove this in the case that the pointclass $S(κ)$ is inductive-like.

2022-10-18T18:14:08Z J. symb. log. 91 (2026) 175-209 Derek Levinson Itay Neeman Grigor Sargsyan 10.1017/jsl.2025.10170 http://arxiv.org/abs/2603.00305v1 2026-02-27T20:41:07Z

We study the Point/Tukey spectrum of a general directed set using PCF theoretic tools and uncover basic connections between the theories. In particular, we prove that if the supremum of the Tukey spectrum is singular, then its cofinality must also be a member of the Tukey spectrum.

2026-02-27T20:41:07Z Tom Benhamou http://arxiv.org/abs/2510.06585v4 2026-02-27T20:40:32Z

Causality serves as an abstract notion of time for concurrent systems. A computation is causal, or simply valid, if each observation of a computation event is preceded by the observation of its causes. The present work establishes that this simple requirement is equally relevant when the occurrence of an event is invertible. We propose a conservative extension of causal models for concurrency that accommodates reversible computations. We first model reversible computations using a symmetric residuation operation in the general model of configuration structures. We show that stable configuration structures, which correspond to prime algebraic domains, remain stable under the action of this residuation. We then derive a semantics of reversible computations for prime event structures, which is shown to coincide with a switch operation that dualizes conflict and causality.

2025-10-08T02:31:27Z Electronic Notes in Theoretical Informatics and Computer Science, Volume 5 - Proceedings of MFPS XLI (December 20, 2025) entics:16677 Clément Aubert Jean Krivine 10.46298/entics.16677 http://arxiv.org/abs/2504.08349v7 2026-02-27T20:33:58Z

Linear logic (LL) is a resource-aware, abstract logic programming language that refines both classical and intuitionistic logic. Linear logic semantics is typically presented in one of two ways: by associating each formula with the set of all contexts that can be used to prove it (e.g. phase semantics) or by assigning meaning directly to proofs (e.g. coherence spaces). This work proposes a different perspective on assigning meaning to proofs by adopting a proof-theoretic perspective. More specifically, we employ base-extension semantics (BeS) to characterise proofs through the notion of base support. Recent developments have shown that BeS is powerful enough to capture proof-theoretic notions in structurally rich logics such as intuitionistic linear logic. In this paper, we extend this framework to the classical case, presenting a proof-theoretic approach to the semantics of the multiplicative-additive fragment of linear logic (MALL).

2025-04-11T08:30:40Z Technical Report Electronic Notes in Theoretical Informatics and Computer Science, Volume 5 - Proceedings of MFPS XLI (December 20, 2025) entics:16888 Victor Barroso-Nascimento Ekaterina Piotrovskaya Elaine Pimentel 10.46298/entics.16888 http://arxiv.org/abs/2602.24285v1 2026-02-27T18:57:32Z

We introduce and study a multiplicative analogue of additive indecomposability for linear order types that we call untranscendability, as well as a strengthening that we call $s$-untranscendability. We show that, with the unique exception of the two-point type, every untranscendable type is additively indecomposable, and every $σ$-scattered untranscendable type is strongly indecomposable. Under the Proper Forcing Axiom, every untranscendable Aronszajn type is strongly indecomposable. We also show that a theorem of Hagendorf and Jullien, that every strictly additively indecomposable type must be strictly indecomposable to either the left or right, has a natural analogue for $s$-untranscendable types.

2026-02-27T18:57:32Z Garrett Ervin Alberto Marcone Thilo Weinert http://arxiv.org/abs/2105.01873v2 2026-02-27T15:18:37Z

Heyting-Lewis Logic is the extension of intuitionistic propositional logic with a strict implication connective that satisfies the constructive counterparts of axioms for strict implication provable in classical modal logics. Variants of this logic are surprisingly widespread: they appear as Curry-Howard correspondents of (simple type theory extended with) Haskell-style arrows, in preservativity logic of Heyting arithmetic, in the proof theory of guarded (co)recursion, and in the generalization of intuitionistic epistemic logic. Heyting-Lewis Logic can be interpreted in intuitionistic Kripke frames extended with a binary relation to account for strict implication. We use this semantics to define descriptive frames (generalisations of Esakia spaces), and establish a categorical duality between the algebraic interpretation and the frame semantics. We then adapt a transformation by Wolter and Zakharyaschev to translate Heyting-Lewis Logic to classical modal logic with two unary operators. This allows us to classical results to obtain the finite model property and decidability for a large family of Heyting-Lewis logics.

2021-05-05T05:28:30Z Jim de Groot Tadeusz Litak Dirk Pattinson http://arxiv.org/abs/2503.04430v3 2026-02-27T13:46:15Z

We present a unified framework for representing commutative rings through affine algebraic theories and Boolean rings through hyperaffine algebraic theories. This yields categorical equivalences between these theories and, respectively, commutative rings and Boolean rings. We then analyse models of affine theories over a Boolean ring $B$, comparing them with the models of hyperaffine theories, the well-known $B$-sets. Two novel characterisations are presented: the first defines these models as Boolean vector spaces equipped with an action of the Boolean ring; the second provides a representation in terms of sheaves, in analogy with $B$-sets. Finally, we establish a connection between hyperaffine theories and multidimensional Boolean algebras, a recently introduced generalisation of Boolean algebras.

2025-03-06T13:41:24Z Arturo De Faveri http://arxiv.org/abs/2602.23799v1 2026-02-27T08:40:06Z

The first part of these notes give an introduction to the theory of Polish group actions on compact Hausdorff spaces, leading up to a proof of the Kechris-Pestov-Todorcevic correspondence and discussions of properties of universal minimal flows. The second part proveides some background on descriptive set theory and culminates with B. Miller's proof of the $\mathcal{G}_0$-dichotomy theorem due to Kechris, Solecki, and Todorcevic.

2026-02-27T08:40:06Z Julien Melleray http://arxiv.org/abs/2602.23779v1 2026-02-27T08:15:47Z

This text was written to support a Bourbaki seminar given in January 2026 on the subject of the model theory of perfectoid fields, especially on the work of Jahnke and Kartas in their paper "Beyond the Fontaine-Wintenberger theorem", J. Amer. Math. Soc. 38 (4), pp. 997-1047, 2025.

2026-02-27T08:15:47Z To appear in Astérisque Sylvy Anscombe http://arxiv.org/abs/2602.23572v1 2026-02-27T00:47:29Z

SJT reducibility between sets $A,B \subseteq \mathbb N$ is defined by $A \le_{SJT} B$ if for each computable function $h$ that is unbounded and nondecreasing, there is an $h$-bounded uniformly $B$-c.e.\ trace $(T_n)_{n \in \mathbb N} $ such that for each $n$, the value $J^A(n)$ of the jump is in $T_n$, if defined. This reducibility is slightly weaker than Turing reducibility. We study SJT reducibility, and as a main result give several characterisations of it on the $K$-trivial sets. This is the first case of extending the three lowness paradigms, weak as an oracle, computed by many, and inert, to the setting of weak reducibilities.

2026-02-27T00:47:29Z Noam Greenberg Andre Nies Dan Turetsky http://arxiv.org/abs/2602.23568v1 2026-02-27T00:36:22Z

Strict-Tolerant Logic (ST) underpins naive theories of truth and vagueness (respectively including a fully disquotational truth predicate and an unrestricted tolerance principle) without jettisoning any classically valid laws. The classical sequent calculus without Cut is sometimes advocated as an appropriate proof-theoretic presentation of ST. Unfortunately, there is only a partial correspondence between its derivability relation and the relation of local metainferential ST-validity - these relations coincide only upon the addition of elimination rules and only within the propositional fragment of the calculus, due to the non-invertibility of the quantifier rules. In this paper, we present two calculi for first-order ST with an eye to recapturing this correspondence in full. The first calculus is close in spirit to the Epsilon calculus. The other calculus includes rules for the discharge of sequent-assumptions; moreover, it is normalisable and admits interpolation.

2026-02-27T00:36:22Z 28 pages, 4 figures Francesco Paoli Adam Přenosil http://arxiv.org/abs/2502.09995v3 2026-02-26T22:59:40Z

Let $T$ be a finitely branching rooted tree such that any node has at least two successors. The path space $[T]$ is an ultrametric space: for distinct paths $f,g$ let $d(f,g)= 1/|T_n|$, where $T_n$ denotes the $n$-th level of the tree, and $n$ is largest such that $f(n)= g(n)$. Let $S$ be a subtree of $T$ without leaves that is level-wise uniformly branching, in the sense that the number of successors of a node only depends on its level. We~show that the Hausdorff and lower box dimensions coincide for~$[S]$, and the packing and upper box dimensions also coincide. We give geometric proofs, as well as proofs based on the point-to-set principles. We use the first result to reprove a theorem of Barnea and Shalev on the Hausdorff dimension of closed subgroups of a profinite group $G$, referring only on the geometric structure of the closed subgroup in the canonical path space given by an inverse system for $G$. We obtain an analogous theorem for the packing dimension.

2025-02-14T08:25:11Z Some small issues fixed from first version Elvira Mayordomo Andre Nies http://arxiv.org/abs/2208.06689v2 2026-02-26T21:27:20Z

We study the position of the computable setting in the "common theory of locality" developed in arXiv:2106.02066 and arXiv:2204.09329 for local problems on $Δ$-regular trees, $Δ\in ω$. We show that such a problem admits a computable solution on every highly computable $Δ$-regular forest if and only if it admits a Baire measurable solution on every Borel $Δ$-regular forest. We also show that if such a problem admits a computable solution on every computable maximum degree $Δ$ forest then it admits a continuous solution on every maximum degree $Δ$ Borel graph with appropriate topological hypotheses, though the converse does not hold.

2022-08-13T17:29:20Z 16 pages J. symb. log. 89 (2024) 1835-1849 Felix Weilacher 10.1017/jsl.2023.47 http://arxiv.org/abs/2104.14646v2 2026-02-26T21:26:11Z

We study the potential of Borel asymptotic dimension, a tool introduced recently in arXiv:2009.06721, to help produce Borel edge colorings of Schreier graphs generated by Borel group actions. We find that it allows us to recover the classical bound of Vizing in certain cases, and also use it to exactly determine the Borel edge chromatic number for free actions of abelian groups.

2021-04-29T20:40:59Z Felix Weilacher http://arxiv.org/abs/2602.23340v1 2026-02-26T18:46:36Z

The Raisonnier Filter is a combinatorial object isolated by Jean Raisonnier in order to simplify Shelah's proof that if all $\boldsymbolΣ^1_3$ sets are Lebesgue-measurable then there is an inner model with an inaccessible cardinal. In this paper, we study the combinatorics of a general version of the Raisonnier filter, with an eye to potential applications in descriptive set theory. Among the most interesting of our results is a partial converse to Raisonnier's theorem, which can be used to provide a new characterisation of the statement "all $\boldsymbolΣ^1_2$ sets are measurable". We also introduce an ideal on the Cantor Space induced by the Raisonnier filter and study its cardinal characteristics, connecting them to the well-known characteristics in Cichoń's Diagram.

2026-02-26T18:46:36Z Spyridon Dialiatsis Yurii Khomskii