https://arxiv.org/api/MJ8X+aN9sMJ0U7vHefK38nmzdBc 2026-04-04T08:15:17Z 15337 255 15 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 http://arxiv.org/abs/2602.23256v1 2026-02-26T17:28:48Z

We provide a characterization of distal ordered abelian groups: An ordered abelian group is distal if and only if, for each prime number $p$, the sizes of ribs with respect to the "valuation" $\mathfrak{s}_p$ are uniformly bounded. This generalizes the distality criterion for ordered abelian groups with finite spines given by Aschenbrenner, Chernikov, Gehret, and Ziegler.

2026-02-26T17:28:48Z 21 pages Koki Okura http://arxiv.org/abs/2512.15680v2 2026-02-26T17:00:12Z

We develop dimension theoretic methods for propositional team based logics. Such quantitative methods were defined for team based first-order logic in a recent paper by Hella, Luosto and the third author and were used to obtain strong hierarchy results in the first-order logic context. We show that in propositional logic and in several important cases, a team theoretical atom can be expressed in terms of atoms of lower arity. We estimate the `price' of such a reduction of arity, i.e. how much more complicated the new expression is. Our estimates involve as parameters the arity of the atoms involved, as well as the number of times the atom occurs in a formula. We also consider new variants of atoms and propositional operations, inspired by our work. We believe that our quantitative analysis leads to a deeper understanding of the scope and limits of propositional team based logic.

2025-12-17T18:32:29Z 39 pages Matilda Häggblom Minna Hirvonen Jouko Väänänen http://arxiv.org/abs/2508.16014v3 2026-02-26T16:58:36Z

We introduce Pudlak-Buss style Prover-Adversary games to characterise proof systems reasoning over deterministic branching programs (BPs) and non-deterministic branching programs (NBPs). Our starting points are the proof systems eLDT and eLNDT, for BPs and NBPs respectively, previously introduced by Buss, Das and Knop. We prove polynomial equivalences between these proof systems and the corresponding games we introduce. This crucially requires access to a form of negation of branching programs which, for NBPs, requires us to formalise a non-uniform version of the Immerman-Szelepcsenyi theorem that coNL = NL. Thanks to the techniques developed, we further obtain a proof complexity theoretic version of Immerman-Szelepcsenyi, showing that eLNDT is polynomially equivalent to systems over boundedly alternating branching programs.

2025-08-22T00:24:20Z 35 pages, 8 figures Anupam Das Avgerinos Delkos http://arxiv.org/abs/2510.08122v2 2026-02-26T16:31:16Z

We initiate the study of the complexity-theoretic properties of convex logics in team semantics. We focus on the extension of classical propositional logic with the nonemptiness atom NE, a logic known to be both convex and union closed. We show that the satisfiability problem for this logic is NP-complete, that its validity problem is coNP-complete, and that its model-checking problem is in P.

2025-10-09T12:06:31Z 14 pages Aleksi Anttila Juha Kontinen Fan Yang http://arxiv.org/abs/2302.06290v4 2026-02-26T15:49:36Z

Hahn groups endowed with the canonical valuation play a fundamental role in the classification of valued abelian groups. In this paper we study the group of valuation (respectively order) preserving automorphisms of a Hahn group $G$. Under the assumption that $G$ satisfies some lifting property, we prove a structure theorem decomposing the automorphism group into a semidirect product of two notable subgroups. We characterise a class of Hahn groups satisfying the aforementioned lifting property. For some special cases we provide a matrix description of the automorphism group.

2023-02-13T11:48:08Z 13 pages Salma Kuhlmann Michele Serra http://arxiv.org/abs/2602.23126v1 2026-02-26T15:39:47Z

We prove that one may approximate parametric suprema of constructible and power-constructible functions using functions within the same class. This resolves a conjecture by Adiceam and Cluckers, which was posited after studying a question posed by Sarnak. We apply our result to prove that a certain subclass of Cexp-class distributions is tempered and to make uniform a bound concerning pushforward measures.

2026-02-26T15:39:47Z 34 pages Tijs Buggenhout Mathias Stout Lisa Vandebrouck http://arxiv.org/abs/2305.12145v2 2026-02-26T15:32:05Z

We study the model theory of finitely ramified henselian valued fields of fixed initial ramification, obtaining versions of the Ax-Kochen-Ershov principle as follows. We identify the induced structure on the residue field and show that once the residue field is endowed with this structure, the theory of the valued field is determined by the theories of the enriched residue field and the value group. Similarly, we show that the existential theory of the valued field is determined by the positive existential theory of the enriched residue field. We also prove that an embedding of finitely ramified henselian valued fields is existentially closed as soon as the induced embeddings of value group and residue field are existentially closed. This last result requires no enrichment of the residue field, in analogy to the corresponding result for model completeness, which holds by results of Ershov and Ziegler.

2023-05-20T09:03:01Z This is the published version updated with a corrected proof of Lemma 4.2, together with a new remark, Remark A, which follows Remark 4.3 Transactions of the American Mathematical Society, 377-12:8963-8988, 2024 Sylvy Anscombe Philip Dittmann Franziska Jahnke 10.1090/tran/9271 http://arxiv.org/abs/2602.23086v1 2026-02-26T15:10:34Z

This paper introduces effectful toposes as an extension of the effective topos and investigates their structure relative to Lawvere-Tierney topologies. First, we formulate effectful toposes by lifting the evidenced frame, which is a recently proposed model for effectful computation. Next, we define Lawvere-Tierney topologies on effectful toposes and characterize the sheaves on them. In the effective topos, Lawvere-Tierney topologies are known to correspond to computational oracles. Finally, to demonstrate that our result contributes to the connection between realizability relativized by oracles and effects, we show that the sheaf topos for the double negation topology is isomorphic to the effectful topos with the Continuation-Passing-Style effect; these toposes serve as a model of classical realizability.

2026-02-26T15:10:34Z 17 pages Rinta Yamada