Toposes with enough points as categories of étale spaces

2026-02-23T07:49:07Z

We extend Makkai duality between coherent toposes and ultracategories to a duality between toposes with enough points and ultraconvergence spaces. Our proof generalizes and simplifies Makkai's original proof. Our main result can also be seen as an extension to ionads of Barr's equivalence between topological spaces and relational modules for the ultrafilter monad. In view of the correspondence between toposes and geometric theories, we obtain a strong conceptual completeness theorem, in the sense of Makkai, for geometric theories with enough Set-models. The same result has recently been obtained independently by Saadia (arXiv:2506.23935) and by Hamad (arXiv:2507.07922). Both of their proofs rely on groupoid representations of toposes, which our proof here does not assume.

Consequences of Dependent Dividing on Burden

2026-02-23T05:33:58Z

If $T$ has dependent dividing, then the burden agrees with the dp-rank witnessed by NIP formulas. We use this observation to prove that if $T$ has dependent dividing, then the burden is sub-additive. We also state a connection between the burden and the dual VC density.

Condensed Sets and the Solovay Model

2026-02-22T19:17:00Z

We exhibit a geometric morphism from the Grothendieck topos representing the Solovay model to the $κ$-pyknotic sets of Barwick--Haine and Clausen--Scholze. We then use the properties of this morphism and automatic continuity in the Solovay model to prove Clausen--Scholze's resolution of the Whitehead problem for discrete condensed abelian groups. We also exhibit an analogous internal $Ext$ computation between locally compact abelian groups in the Solovay model.

Hypersequent Calculi Have Ackermannian Complexity

2026-02-22T15:21:45Z

For substructural logics with contraction or weakening admitting cut-free sequent calculi, proof search was analyzed using well-quasi-orders on $\mathbb{N}^d$ (Dickson's lemma), yielding Ackermannian upper bounds via controlled bad-sequence arguments. For hypersequent calculi, that argument lifted the ordering to the powerset, since a hypersequent is a (multi)set of sequents. This induces a jump from Ackermannian to hyper-Ackermannian complexity in the fast-growing hierarchy, suggesting that cut-free hypersequent calculi for extensions of the commutative Full Lambek calculus with contraction or weakening ($\mathbf{FL_{ec}}$/$\mathbf{FL_{ew}}$) inherently entail hyper-Ackermannian upper bounds. We show that this intuition does not hold: every extension of $\mathbf{FL_{ec}}$ and $\mathbf{FL_{ew}}$ admitting a cut-free hypersequent calculus has an Ackermannian upper bound on provability. To avoid the powerset, we exploit novel dependencies between individual sequents within any hypersequent in backward proof search. The weakening case, in particular, introduces a Karp-Miller style acceleration, and it improves the upper bound for the fundamental fuzzy logic $\mathbf{MTL}$. Our Ackermannian upper bound is optimal for the contraction case (realized by the logic $\mathbf{FL_{ec}}$).

A new characterization of (pre)liminary C*-algebras

2026-02-22T12:05:08Z

Given an arbitrary countable ordinal $α$, we introduce the notion of type $I_{α}$ C*-algebra and $α$-subhomogeneous C*-algebra. When $α=0$, these recover the notions of Fell C*-algebra and of commutative C*-algebra, respectively. When $α=n<ω$, these recover the notions of type $I_{n}$ C*-algebra and of $n$-subhomogeneous C*-algebra, respectively. We prove that a separable C*-algebra is liminary if and only if it is type $I_{α}$ for some $α<ω_{1}$, and it is preliminary (i.e., has no infinite-dimensional irreducible representation) if and only if it is $α$-subhomogeneous for some $α<ω_{1}$. We also prove that for any countable ordinal $α$ there exists a separable C*-algebra that is type $I_{α}$ and not type $I_{β}$ for $β<α$, and a separable C*-algebra that is $α$-subhomogeneous and not $β$-subhomogeneous for any $β<α$.

Affine logic with the integration operator

2026-02-22T05:57:30Z

Affine continuous logic is extended to affine integration logic. Affine compactness theorem is proved by both the ultramean construction and Henkin's method. Also, a proof system and a completeness theorem are given. An appropriate variant of the Keisler-Shelah isomorphism theorem holds in this setting. This helps us to characterize non-forking extensions in affine stable theories by means of the notion of elementary embedding in the expanded logic.

Necessary and Sufficient Conditions for Proving Choice in Zermelo-Fraenkel Set Theory

2026-02-21T22:14:57Z

This paper introduces an alternative approach to proving the existence of choice functions for specific families of sets within Zermelo-Fraenkel set theory (ZF) without assuming any form on the Axiom of Choice (AC). Traditional methods of proving choice, when it is possible without AC, are based on explicit constructing a choice function, which relies on being able to identify canonical elements within the sets. Our approach, instead, employs the axiom schema of separation. We begin by considering families of well-ordered sets, then apply the schema of separation twice to build a set of possible candidates for the choice functions, and, finally, prove that this set is non-empty. This strategy enables proving the existence of choice function in situations where canonical elements cannot be identified explicitly. We then extend our method beyond families of well-ordered sets to families of sets, over which partial orders with a least element exist. After exploring possibilities for further generalization, we establish a necessary and sufficient condition: in ZF, without assuming AC, a choice function exists for a non-empty family if and only if each set admits a partial order with a least element. Finally, we demonstrate how this approach can be used to prove the existence of choice functions for families of contractible and path-connected topological spaces, including hyper-intervals in $\mathbb{R}^n$, hyper-balls, and hyper-spheres.

Big Ramsey combinatorics of the Cantor set and a simple proof of Blass' perfect set theorem

2026-02-21T13:46:31Z

In this paper we present a simple approach to big Ramsey combinatorics of the Cantor set $2^ω$. Using Infinite Dual Ramsey Theorem of Carlson and Simpson, we show that $2^ω$, viewed as a topological space, has finite big Ramsey degrees. We then examine several natural topological first-order structures arising from the Cantor set and prove that each of them inherits finite big Ramsey degrees. As a consequence, we obtain a simple proof of Blass' perfect set theorem, although our method does not recover the sharp bound $(n-1)!$ for the number of colors. We also show that the complete Boolean algebra on countably many atoms has finite big Ramsey degrees, in contrast with the recent result showing that the countable atomless Boolean algebra does not have big Ramsey degrees.

Countable models of weakly quasi-o-minimal theories I

2026-02-21T08:31:58Z

We introduce the notions of triviality and order-triviality for global invariant types in an arbitrary first-order theory and show that they are well behaved in the NIP context. We show that these two notions agree for invariant global extensions of a weakly o-minimal type, in which case we say that the type is trivial. In the o-minimal case, we prove that every definable complete 1-type over a model is trivial. We prove that the triviality has several favorable properties; in particular, it is preserved in nonforking extensions of a weakly o-minimal type and under weak nonorthogonality of weakly o-minimal types. We introduce the notion of a shift in a linearly ordered structure that generalizes the successor function. Then we apply the techniques developed to prove that every weakly quasi-o-minimal theory that admits a definable shift has $2^{\aleph_0}$ countable models.

Strongly increasing sequences

2026-02-20T23:25:25Z

Using a variation of Woodin's $\mathbb{P}_{\mathrm{max}}$ forcing, we force over a model of the Axiom of Determinacy to produce a model of ZFC containing a very strongly increasing sequence of length $ω_{2}$ consisting of functions from $ω$ to $ω$. We also show that there can be no such sequence of length $ω_{4}$.

Ramsey theory of low-degree semialgebraic relations

2026-02-20T16:14:36Z

We prove that hypergraphs defined by low-degree polynomial inequalities contain large homogeneous subsets. Formally, let $H$ be an $r$-uniform hypergraph on $N$ vertices that is semialgebraic of constant description complexity, and each defining polynomial has degree at most $D$. Then $H$ contains a clique or an independent set of size $n$, where $N\leq \mbox{tw}_{3D^3}(n)$.

The Sup Connective in IMALL: A Categorical Semantics

2026-02-20T15:12:24Z

We explore a proof language for intuitionistic multiplicative additive linear logic, incorporating the sup connective that introduces additive pairs with a probabilistic elimination, and sum and scalar products within the proof-terms. We provide an abstract characterisation of the language, revealing that any symmetric monoidal closed category with biproducts and a monomorphism from the semiring of scalars to the semiring Hom(I,I) is suitable for the job. Leveraging the binary biproducts, we define a weighted codiagonal map which is at the core of the sup connective.

Unital Specker $\ell$-groups and boolean multispaces

2026-02-20T13:35:17Z

As a topological generalization of the notion of a multiset, a boolean multispace is a boolean space $X$ with a continuous function $u\colon X\to \mathbb Z_{>0}$, where $\mathbb Z_{>0}=\{1,2,\dots\}$ has the discrete topology. In this paper the category of boolean multispaces and continuous multiplicity-decreasing morphisms with respect to the divisibility order is shown to be dually equivalent to the category of unital Specker $\ell$-groups and unital $\ell$-homomorphisms. This result extends Stone duality, because unital Specker $\ell$-groups whose distinguished unit is singular are equivalent to boolean algebras. Boolean multispaces, in turn, are categorically equivalent to the Priestley duals of the MV-algebras corresponding to unital Specker $\ell$-groups via the $Γ$ functor. Via duality, we show that the category of unital Specker $\ell$-groups has finite colimits and finite products, but lacks some countable copowers and equalizers.

On the Category-Theoretic Independence of Meaning, Object, Name and Existence

2026-02-20T07:23:50Z

We prove a category-theoretic independence theorem for four fundamental notions: meaning, object, name, and existence. Working in a Lawvere-style categorical semantics and in particular in toposes, we show that these notions occupy distinct structural levels (object, morphism, element, and internal logical level) and are not uniformly recoverable from one another. The key separation arises between internal existence and global naming. Using a concrete example in the topos $\mathbf{Sh}(S^1)$-the sheaf of local sections of a nontrivial covering-we exhibit an object that is internally inhabited but admits no global element. These results provide a precise structural basis for treating geometric universes as foundational frameworks for information networks.

Scott spectral gaps for trees are bounded

2026-02-20T02:05:55Z

Given a Borel class of trees, we show that there is a tree in that class whose Scott sentence is not too much more complicated than the definition of the class. In particular, if the class is definable by a $Π_α$ sentence, then there is a model of Scott rank at most $α+ 2$. This gives another proof-and one that does not require first proving Vaught's conjecture for trees-of the fact that trees are not faithfully Borel complete.