https://arxiv.org/api/DZx/aC8z0mbyiA1nllgj6fHZ7qw 2026-04-04T10:51:43Z 15337 285 15 http://arxiv.org/abs/2209.10972v2 2026-02-24T16:41:13Z

Sharply o-minimal structures (denoted \so-minimal) are a strict subclass of the o-minimal structures, aimed at capturing some finer features of structures arising from algebraic geometry and Hodge theory. Sharp o-minimality associates to each definable set a pair of integers known as \emph{format} and \emph{degree}, similar to the ambient dimension and degree in the algebraic case; gives bounds on the growth of these quantities under the logical operations; and allows one to control the geometric complexity of a set in terms of its format and degree. These axioms have significant implications on arithmetic properties of definable sets -- for example, \so-minimality was recently used by the authors to settle Wilkie's conjecture on rational points in $\mathbb{R}_{\exp}$-definable sets. In this paper we develop some basic theory of sharply o-minimal structures. We introduce the notions of reduction and equivalence on the class of \so-minimal structures. We give three variants of the definition of \so-minimality, of increasing strength, and show that they all agree up to reduction. We also consider the problem of ``sharp cell decomposition'', i.e. cell decomposition with good control on the number of the cells and their formats and degrees. We show that every \so-minimal structure can be reduced to one admitting sharp cell decomposition, and use this to prove bounds on the Betti numbers of definable sets in terms of format and degree.

2022-09-22T12:48:46Z Gal Binyamini Dmitri Novikov Benny Zak http://arxiv.org/abs/2412.14558v3 2026-02-24T14:13:12Z

We consider the restriction of Ramsey's theorem that arises from considering only translation-invariant colourings of pairs, and show that this has the same strength (both from the viewpoint of Reverse Mathematics and from the viewpoint of Computability Theory) as the {\em Adjacent Hindman's Theorem}, proposed by L. Carlucci (Arch. Math. Log. {\bf 57} (2018), 381--359). We also investigate some higher dimensional versions of both of these statements.

2024-12-19T06:20:32Z 17 pages, only a few minor mistakes from previous version were corrected Bruno Fernando Aceves-Martínez David J. Fernández-Bretón L. F. Romero-García Luis F. Villagómez-Canela http://arxiv.org/abs/2602.20847v1 2026-02-24T12:41:41Z

Building on work of the first author and Kartas, we identify the elementary class generated by all perfectoid fields of fixed residue characteristic $p$ in the language of rings.

2026-02-24T12:41:41Z Franziska Jahnke Ferréol Lavaud http://arxiv.org/abs/2602.20736v1 2026-02-24T10:02:36Z

We study existential theories of henselian valued fields of positive characteristic with parameters from a trivially valued subfield. Compared to previous work, we relax perfectness and separability assumptions, and instead work with the weaker algebraic hypothesis of formal smoothness over the parameter field, which we discuss in detail in our setting. Assuming a weak consequence of resolution of singularities, which was already used in previous work, we obtain an axiomatisation of the existential theory of such a valued field in terms of the existential theory of the residue field, both over the same parameter field. This result has natural applications to asymptotic theories of completions of function fields of curves. We work these out in detail for the case of function fields over fairly general pseudo-algebraically closed fields, where we obtain decidability of the sets of universal/existential sentences holding in all completions or all but finitely many completions, respectively.

2026-02-24T10:02:36Z Philip Dittmann http://arxiv.org/abs/2510.04836v2 2026-02-24T09:58:05Z

Free independence is an important tool for studying the structure of operator algebras. It is natural to ask from the model-theoretic standpoint whether free independence is captured well in first-order model theory via the notion of a definable set. We prove that pairs of freely independent elements do not form a definable set in the sense of continuous model theory, relative to the theory of both C$^*$-probability spaces and tracial von Neumann algebras.

2025-10-06T14:21:22Z Author-accepted manuscript; to appear in "Involve, a Journal of Mathematics" William Boulanger Jakub Curda Emma Harvey Yizhi Li Jennifer Pi http://arxiv.org/abs/2602.20667v1 2026-02-24T08:15:31Z

This paper investigates when countable graphs have a finite or an infinite chromatic number through model theoretic methods. For Fraïssé limits, we show that instability forces the chromatic number to be infinite, yielding a complete classification of homogeneous graphs with a finite chromatic number. In contrast, Hrushovski construction always produces graphs of finite chromatic number, though the value can be made arbitrarily large. In tame settings -- such as stable graphs of $U$-rank one and graphs definable in o-minimal structures -- an infinite chromatic number necessarily yields arbitrarily large cliques. These results provide a unified framework connecting structural model theoretic properties with chromatic behavior.

2026-02-24T08:15:31Z Hirotaka Kikyo Koitaro Nakaura Akito Tsuboi http://arxiv.org/abs/2602.20626v1 2026-02-24T07:22:30Z

We introduce almost cohomology groups for Lie rings definable in finite-dimensional theory. In particular, we define the 0th and 1st almost cohomology groups of a Lie ring module. Moreover, we prove that the 1st almost cohomology group of a finite-dimensional definable Lie ring module is finite if the 0th almost cohomology group is finite.

2026-02-24T07:22:30Z Moreno Invitti ICJ http://arxiv.org/abs/2310.01254v5 2026-02-23T21:48:05Z

Guarded Monotone Strict NP (GMSNP) extends Monotone Monadic Strict NP (MMSNP) by guarded existentially quantified predicates of arbitrary arities. We prove that the containment and the FO-rewritability problems for GMSNP are decidable, thereby settling an open question of Bienvenu, ten Cate, Lutz, and Wolter, later restated by Bourhis and Lutz. Our proof also comes with a 2NEXPTIME upper bound on the complexity of the two problems, which matches the lower bounds for MMSNP due to Bourhis and Lutz. To obtain these results, we significantly improve the state of knowledge of the model-theoretic properties of GMSNP. Bodirsky, Knäuer, and Starke previously showed that every GMSNP sentence defines a finite union of CSPs of $ω$-categorical structures. We show that these structures can be used to obtain a reduction from the containment problem for GMSNP to the much simpler problem of testing the existence of a recolouring; a careful analysis of this yields said upper bound for containment. The upper bound for FO-rewritability is subsequently obtained by an application of several standard techniques from the theory of infinite-domain CSPs. As our secondary contribution, we refine the construction of Bodirsky, Knäuer, and Starke by adding a restricted form of homogeneity to the properties of these structures, making the logic amenable to future complexity classifications for query evaluation using techniques developed for infinite-domain CSPs.

2023-10-02T14:41:28Z Alexey Barsukov Michael Pinsker Jakub Rydval http://arxiv.org/abs/2401.11930v3 2026-02-23T19:17:55Z

We discuss the common existential theory of all or almost all completions of a global function field.

2024-01-22T13:16:16Z minor changes Philip Dittmann Arno Fehm http://arxiv.org/abs/2602.20287v1 2026-02-23T19:15:46Z

We present a novel investigation into the consistency operator ($\circ$), traditionally associated with paraconsistent logics, as a means of capturing non-normal modal classicalities within the Kripke framework. By semantically reinterpreting $\circ$ as an operator that distinguishes top and bottom values from other values in the algebra, we extend its applicability beyond paraconsistency into classical and modal logics. We introduce the logic $\mathcal{B}_4^\circ$, a four-valued Boolean logic augmented with the consistency operator, and provide a sound and complete axiomatization. Building on this foundation, we extend the semantics to the modal domain using the many-logics modal logic (MLML) framework. Specifically, we construct Kripke frames based on an eight-valued Boolean algebra that contains three distinct four-valued subalgebras, each representing a different world type. Our analysis reveals that the resulting modal logic exhibits a normal local consequence relation alongside a non-normal global consequence relation. Consequently, the characterization of frame properties --such as transitivity, reflexivity, and Euclideanness --deviates from modal logic $K$, requiring novel semantic tools. We further identify new modal formulas in an extended language that capture previously unavailable kinds of accessibility, leading to frame characterizations unattainable in traditional modal frameworks.

2026-02-23T19:15:46Z Alfredo Roque Freire Manuel António Martins http://arxiv.org/abs/2602.20038v1 2026-02-23T16:46:19Z

We explore the expressive power of HOL, a system of higher-order logic, and its relationship to the simply-typed lambda calculus and Church's simple theory of types, arguing for the potential of HOL as a unifying logical framework, capable of encoding a broad range of logical systems, including modal and non-classical logics. Along the way, we emphasize the essential role of discernment, the ability to tell things apart, as a language primitive; highlighting how it endows HOL with practical expressivity superpowers while elegantly enriching its theoretical properties.

2026-02-23T16:46:19Z David Fuenmayor http://arxiv.org/abs/2509.04270v3 2026-02-23T15:18:01Z

The game of cops and robbers, played on a fixed graph $G$, is a two-player game, where the cop and the robber (the players) take turns in moving to adjacent vertices. The game finishes if the cop lands on the robber's vertex. In that case we say that the cop wins. If the cop can always win, regardless of the starting positions, we say that $G$ is a cop-win graph. For a finite cop-win graph $G$ we can ask for the minimum number $n$ such that, regardless of the starting positions, the game will end in at most $n$ steps. This number is called the maximum capture time of $G$. By looking at finite paths, we see that any non-negative integer is the maximum capture time for a cop-win graph. What about infinite cop-win graphs? In this case, the notion of capture time is nicely generalised if one works with ordinals, and so the question becomes which ordinals can be the maximum capture time of a cop-win graph? These ordinals are called CR (Cop-Robber)-ordinals. In this paper we fully settle this by showing that all ordinals are CR-ordinals, answering a question of Bonato, Gordinowicz and Hahn.

2025-09-04T14:46:10Z 8 pages Jorge Cruz Chapital Tomáš Flídr Maria-Romina Ivan 10.1016/j.tcs.2026.115789 http://arxiv.org/abs/2602.19934v1 2026-02-23T15:08:49Z

Student-Teacher Games are a model of computation in which a computationally restricted Student attempts to produce a string satisfying a refutable property, while an all-powerful Teacher refutes incorrect candidates by providing counterexamples. By the classical result of Krajíček, Pudlák, and Takeuti [KPT90], such games capture the witnessing of $\forall\exists\forall$-formulas in bounded arithmetic. In this paper, we introduce subclasses of total search problems in the polynomial hierarchy, classified by the number of rounds and candidate answers per round required for a Student at the corresponding level to solve them. Assuming the polynomial hierarchy does not collapse, we separate these classes for different number of rounds and queries. As applications we obtain the following results: (a) We study theories of bounded arithmetic axiomatized by fine-grained variants of length induction and bounded collection. We prove a general witnessing theorem connecting their $\forall\exists\forall$-consequences to the appropriate classes of Student-Teacher Games. Under the non-collapse of the polynomial hierarchy, we separate these theories. (b) These conditional separations resolve two open problems in bounded arithmetic: one by Buss and Ressayre [Bus85, CK93] on the strength of bounded collection, and one by Pollett [Pol97] on the difference between strict and non-strict double length induction. (c) Finally, we extend the unprovability of circuit upper bounds due to Krajíček and Oliveira [KO17] to the theory $PV_1+BB(Σ^b_1)$, and the unprovability of strong co-nondeterministic circuit lower bounds due to Pich and Santhanam [PS21] to the theory $PV_1+LLIND(sΣ^b_1)$. By the preceding separations, both theories strictly extend $PV_1$ assuming $NP\nsubseteq P/poly$.

2026-02-23T15:08:49Z Ondřej Ježil Dimitrios Tsintsilidas http://arxiv.org/abs/2602.10280v2 2026-02-23T11:31:16Z

We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $α$ for fixed points. Our main result is that provability in the system for some computable ordinal $α$ is complete for the $ω^{α^ω}$ level of the hyperarithmetical hierarchy. To this end we first develop proof theoretic foundations, namely cut elimination and focussing results, to control both the upper and lower bound analysis. Our arguments employ a carefully calibrated notion of formula rank, calculating a tight bound on the height of the (cut-free) proof search space.

2026-02-10T20:47:30Z Anupam Das Tikhon Pshenitsyn http://arxiv.org/abs/2602.19602v1 2026-02-23T08:44:01Z

We give a complete first-order axiomatization of the structure $(\mathbb{Z},+,(\ell^{\mathbb{N}})_{\ell\in L})$, where $L \subseteq \mathbb{Z}_{\ge 2}$ is a set of pairwise multiplicatively independent integers and $\ell^{\mathbb{N}} = \{\ell^n : n\in \mathbb{N}\}$. Using recent work of Karimov et al., we obtain that this axiomatization is computable for $|L|=2$, which proves that $(\mathbb{Z},+,k^{\mathbb{N}}, \ell^{\mathbb{N}})$ is decidable for $k, \ell\in \mathbb{Z}_{\ge 2}$. Furthermore, we give an axiomatization of the universal theory of $(\mathbb{Z},+,<,(\ell^{\mathbb{N}})_{\ell\in L})$.

2026-02-23T08:44:01Z Philipp Hieronymi Michael Reitmeir Xiaoduo Wang