https://arxiv.org/api/Li+n6TNW9ceD4zvusgl8ww3uIYI 2026-04-04T13:41:42Z 15337 315 15 http://arxiv.org/abs/2510.26013v2 2026-02-19T22:48:43Z

Every bounded definable open set is a union of finitely many open strong cells in a weakly o-minimal expansion of a real closed field. We prove this fact and another theorem similar to it.

2025-10-29T23:05:38Z Tomohiro Kawakami Hiroshi Tanaka http://arxiv.org/abs/2602.17752v1 2026-02-19T18:40:49Z

Concentration results say that a sequence of random variables becomes progressively concentrated around the mean. Such results are common in the study of functions of random graphs. We introduce a real-valued logic with various aggregate operators on graphs, including summation, and prove that every term in the language, seen as a random variable on random graphs within the classical Erdős-Rényi random graph model, is concentrated. We prove this for dense and sparse variants of Erdős-Rényi graphs. On the one hand, our results extend the line of work originating with Fagin and Glebskii et al. on zero-one laws for dense random graphs, as well as the zero-one law of Shelah and Spencer for sparse random graphs. On the other hand, they can be seen as a meta-theorem for inferring concentration results on random graphs, and we give examples of such applications.

2026-02-19T18:40:49Z Michael Benedikt Maksim Zhukovskii http://arxiv.org/abs/2511.07333v2 2026-02-19T15:50:22Z

We develop a framework, in the style of Adler, for interpreting the notion of "witnessing" that has appeared (usually as a variant of Kim's Lemma) in different areas of neostability theory as a binary relation between abstract independence relations. This involves extending the relativisations of Kim-independence and Conant-independence due to Mutchnik to arbitrary independence relations. After developing this framework, we show that several results from simplicity, $\text{NTP}_2$, $\text{NSOP}_1$, and beyond follow as instances of general theorems for abstract independence relations. In particular, we prove the equivalence between witnessing and symmetry and the implications from this notion to chain local character and the weak independence theorem, and recover some partial converses. Finally, we use this framework to prove a dichotomy between $\text{NSOP}_1$ and Kruckman and Ramsey's $\text{BTP}$ that applies to most known $\text{NSOP}_4$ examples in the literature.

2025-11-10T17:35:43Z 49 pages; includes significant modifications, corrections and expansions of the previous version. Comments are welcome Alberto Miguel-Gómez http://arxiv.org/abs/2503.09246v2 2026-02-19T14:01:09Z

We introduce the notion of Ramsey partition regularity, a generalisation of partition regularity involving infinitary configurations. We provide characterisations of this notion in terms of certain ultrafilters related to tensor products and dubbed Ramsey's witnesses; and we also consider their nonstandard counterparts as pairs of hypernatural numbers, called Ramsey pairs. These characterisations are then used to determine whether various configurations involving polynomials and exponentials are Ramsey partition regular over the natural numbers. In particular, this provides negative answers to several questions recently posed by Kra, Moreira, Richter and Robertson.

2025-03-12T10:41:59Z Mauro Di Nasso Lorenzo Luperi Baglini Marcello Mamino Rosario Mennuni Mariaclara Ragosta http://arxiv.org/abs/2602.17338v1 2026-02-19T13:11:38Z

The technique of symmetric extensions is derived from forcing and it is one of the most important tools for studying models without the Axiom of Choice. Despite being incredibly successful since the 1960s, our understanding of the technique remained fairly limited compared to the theory of forcing. Whereas forcing developed products and iterations, no serious attempts at developing any general framework for iterating symmetric extensions were presented before [10], where only finite support iterations are treated. In this paper we develop the theory of symmetric extensions including different types of iterations, quotients, equivalents, and the structural results that can be described in this language. In particular, we give a modern exposition to some of the important theorems of Grigorieff [3], study Kinna--Wagner Principles in symmetric extensions, and show that it is provable from $\mathsf{ZF}$ that every set lies in a symmetric extension of $\operatorname{HOD}$.

2026-02-19T13:11:38Z 39 pages Asaf Karagila Jonathan Schilhan http://arxiv.org/abs/2602.17273v1 2026-02-19T11:21:38Z

This paper establishes a categorical equivalence between the category $\mathbb{COL}$ of complete orthomodular lattices and the category $\mathscr{T}\mathbb{ODA}$ of $\mathscr{T}$-based orthomodular dynamic algebras. Complete orthomodular lattices serve as the static algebraic foundation for quantum logic, modeling the testable properties of quantum systems. In contrast, $\mathcal{T}$-based orthomodular dynamic algebras, which are specialized unital involutive quantales, formalize the composition and quantum-logical properties of quantum actions. This result refines prior connections between orthomodular lattices and dynamic algebras, provides a constructive bridge between static and dynamic quantum logic perspectives, and extends naturally to Hilbert lattices and broader quantum-theoretic structures.

2026-02-19T11:21:38Z Jan Paseka Juanda Kelana Putra Richard Smolka http://arxiv.org/abs/2602.17160v1 2026-02-19T08:15:47Z

This paper proposes an interpretation of Grothendieck's geometric universes as a foundational framework for \emph{information networks}. We argue that Grothendieck topologies, sheaves, and topoi provide a sheaf-theoretic semantics in which distributed and locally held information can be integrated into globally coherent structures. In this setting, local informational states are represented by sections, while the sheaf condition governs consistency, agreement, and consensus across a network. Logical validity and mathematical existence are therefore not imposed externally but arise intrinsically from geometric and categorical conditions. From this perspective, Grothendieck's geometric universes constitute a natural foundation for information networks governed by intrinsic logical principles. Moreover, we propose that Grothendieck's geometric universes themselves concretely instantiate what the author calls \emph{intrinsic logicism}. This position is intended as a contemporary reconstruction of the classical logicist program of Frege and Russell, reformulated within the framework of category theory and topos theory, where logical structure is generated internally by geometric and categorical organization rather than presupposed as an external foundational layer.

2026-02-19T08:15:47Z 7 pages. A conceptual and categorical study of Grothendieck sites, toposes, and sheaf-theoretic information networks, emphasizing intrinsic logicism Takao Inoué http://arxiv.org/abs/2411.08797v3 2026-02-19T01:15:11Z

We show that the set of locally finite Borel graphs with finite Borel asymptotic dimension is $\mathbfΣ^1_2$-complete. The result is based on a combinatorial characterization of finite Borel asymptotic dimension for graphs generated by a single Borel function. As an application of this characterization, we classify the complexities of digraph homomorphism problems for this class of graphs.

2024-11-13T17:24:13Z 18 pages Forum of Mathematics, Sigma 14 (2026) e31 Jan Grebík Cecelia Higgins 10.1017/fms.2026.10180 http://arxiv.org/abs/2504.00119v2 2026-02-18T22:30:55Z

We investigate forms of filter extension properties in the two-cardinal setting involving filters on $P_κ(λ)$. We generalize the filter games introduced by Holy and Schlicht in \cite{HolySchlicht:HierarchyRamseyLikeCardinals} to filters on $P_κ(λ)$ and show that the existence of a winning strategy for Player II in a game of a certain length can be used to characterize several large cardinal notions such as: $λ$-super/strongly compact cardinals, $λ$-completely ineffable cardinals, nearly $λ$-super/strongly compact cardinals, and various notions of generic super and strong compactness. We generalize a result of Nielson from \cite{NielsenWelch:games_and_Ramsey-like_cardinals} connecting the existence of a winning strategy for Player II in a game of finite length and two-cardinal indescribability. We generalize the result of \cite{ForMagZem} to construct a fine $κ$-complete precipitous ideal on $P_κ(λ)$ from a winning strategy for Player II in a game of length $ω$. Finally, we improve Theorems 1.2 and 1.4 from \cite{ForMagZem} and partially answer questions Q.1 and Q.2 from \cite{ForMagZem}.

2025-03-31T18:09:10Z Final Version Tom Benhamou Victoria Gitman http://arxiv.org/abs/2602.16880v1 2026-02-18T21:03:44Z

Uniform interpolation is a strong form of interpolation providing an interpretation of propositional quantifiers within a propositional logic. Pitts' seminal work establishes this property for intuitionistic propositional logic relying on a sequent calculus in which naïve backward proof-search terminates. This constructive approach has been adapted to a wide range of logics, including intuitionistic modal logics. Surprisingly, no intuitionistic modal logic with independent box and diamond has yet been shown to satisfy uniform interpolation. We fill in this gap by proving the uniform interpolation property for Constructive K (CK) and Wijesekera's K (WK). We build on Pitts' technique by exploiting existing terminating calculi for CK and WK, which we prove to eliminate cut, and formalise all our results in the proof assistant Rocq. Together, our results constitute the first positive uniform interpolation results for intuitionistic modal logics with diamond.

2026-02-18T21:03:44Z Iris van der Giessen Ian Shillito http://arxiv.org/abs/2602.16854v1 2026-02-18T20:32:37Z

This paper makes significant progress towards resolving a conjecture relating strong forcing axioms like $PFA$ and the derived model at a limit of Woodin cardinals $κ$. In particular, using a concept called Covering Matrices, we show that the $Θ$ of the derived model at $κ$ is strictly less than $κ^+$ under various circumstances; in particular, this shows that the conclusion holds under $PFA$ if $κ$ is a limit of Woodin cardinals of cofinality $ω$ and the derived model does not satisfy $LSA$. Assuming a form of mouse capturing, we show that the derived model satisfies $AD_{\mathbb{R}}$ under $PFA$ when $κ$ is a regular limit of Woodin cardinals. If $κ$ is an indestructibly $(κ,κ^+)$-weakly compact limit of Woodin cardinals, then the derived model outright satisfies $AD_{\mathbb{R}}$.

2026-02-18T20:32:37Z Derek Levinson Nam Trang Trevor Wilson http://arxiv.org/abs/2602.16445v1 2026-02-18T13:30:19Z

Pitts' proof-theoretic technique for uniform interpolation, which generates uniform interpolants from terminating sequent calculi, has only been applied to logics on an intuitionistic basis through single-succedent sequent calculi. We adapt the technique to the intuitionistic multi-succedent setting by focusing on the intuitionistic modal logic KM. To do this, we design a novel multi-succedent sequent calculus for this logic which terminates, eliminates cut, and provides a decidability argument for KM. Then, we adapt Pitts' technique to our calculus to construct uniform interpolants for KM, while highlighting the hurdles we overcame. Finally, by (re)proving the algebraisability of KM, we deduce the coherence of the class of KM-algebras. All our results are fully mechanised in the Rocq proof assistant, ensuring correctness and enabling effective computation of interpolants.

2026-02-18T13:30:19Z Hugo Férée Ian Shillito http://arxiv.org/abs/2602.16433v1 2026-02-18T13:10:52Z

We use Hensel minimality, a non-Archimedean analog of o-minimality, to study several questions around transcendental number theory, unlikely intersections, and differential fields in a non-Archimedean setting. In particular, we focus on $p$-adic exponentiation and Tate uniformization on $\mathbb{C}_p$, which we show live in a Hensel minimal structure on $\mathbb{C}_p$. We start by constructing a large collection of derivations on Hensel minimal fields that respect definable functions, which we then apply to the $p$-adic Schanuel conjecture. We also study properties of local definability in analogy to work of Wilkie, and show that $p$-adic Schanuel implies a uniform version of itself. For Tate uniformization we show a strong closure property when blurring, and deduce that $\mathbb{C}_p$ with the blurred Tate uniformization is quasiminimal. Finally, we prove a result on $p$-adic density of likely intersections for powers of elliptic curves.

2026-02-18T13:10:52Z 27 pages Sebastian Eterović Floris Vermeulen http://arxiv.org/abs/2602.16135v1 2026-02-18T01:58:06Z

Fully bracketed implication terms on $n$ variables are evaluated in Gödel $m$-valued logic on a finite chain, and we enumerate truth-table rows by output value across all Catalan bracketings. Using the Catalan decomposition, we derive a finite system of generating functions for these value counts and introduce a root-split refinement that records the ordered pair of truth values at the top implication, yielding $m^2$ pair classes. We prove that the associated generating functions share a common dominant square-root singularity, which implies a universal $n^{-3/2}$ asymptotic form with exponential growth rate $(4m)^n$ and a limiting output distribution as $n\to\infty$. The root-split refinement yields matching uniform asymptotics for the pair classes and gives a transparent factorization of the original counts.

2026-02-18T01:58:06Z Volkan Yildiz http://arxiv.org/abs/2601.00528v4 2026-02-17T21:57:29Z

We use topological methods to study complexity of deep computations and limit computations. We use topology of function spaces, specifically, the classification Rosenthal compacta, to identify new complexity classes. We use the language of model theory, specifically, the concept of \emph{independence} from Shelah's classification theory, to translate between topology and computation. We use the theory of Rosenthal compacta to characterize approximablility of deep computations, both deterministically and probabilistically.

2026-01-02T01:49:41Z Eduardo Dueñez José Iovino Tonatiuh Matos-Wiederhold Luciano Salvetti Franklin D. Tall