Topologically free non-Hausdorff groupoids

2026-02-02T23:56:35Z

We study three conditions that control the behaviour of isotropy in étale groupoids, and their relationships under the additional assumptions of second-countability and Hausdorffness. We examine a number of examples that show these properties are distinct. Working under the assumption of the Zermelo-Fraenkel axioms, excluding choice, we then examine an alternate characterization of topological freeness, first introduced by Anantharaman-Delaroche, in the non-Hausdorff setting. Finally, we prove an equivalence between the Baire Category Theorem and an étale groupoid theorem, along with similar equivalences to other weakenings of the Axiom of Choice.

Categoricity for inferential $ω$-logic and $L_{ω_1,ω}$

2026-02-02T21:59:43Z

This paper provides two extensions of first order logic by `$ω$-rules'. In each case we characterize the countable structures whose theory in the logic is categorical (has a unique model). In the one-sorted inferential $ω$-logic, both Robinson's system $Q$ and Peano Arithmetic become categorical. In the two-sorted generalized $ω$-logic we show each complete $L_{ω_1,ω}$ sentence defines the same class of structures as a first-order theory with the appropriate $G-ω$-rule. These logics are much weaker than second order logic and we argue that they do not appeal to the arithmetical concepts that the categoricity theorems themselves aim to secure. The results depend on proving that the inferential rules for the logics are categorical, i.e. they uniquely determine certain truth-conditions for the logical connectives and quantifiers. We provide an extensive answer to the doxological challenge (on referential determinacy) proposed in \cite{ButtonWalshbook} and we develop a philosophical view of mathematics -which we call {\em cognitive modelism}- according to which classical mathematics is best understood as a complex process of constructing and developing a distinctive class of concepts, rather than merely describing a fixed pre-existing realm of structures. KEYWORDS: categoricity, inferentialism, first-order logic, first-order theories, $ω$-rules, $L_{ω_1,ω}$.

Monotonicity versus positivity in modal logics

2026-02-02T21:38:14Z

We say that a logic L has the Lyndon positivity property (LPP) if all formulas which are monotone in L (that is, are preserved under increasing the valuation on L-algebras) are L-equivalent to positive formulas (formulas without negation and implication symbols). In the present paper, we investigate LPP in propositional monotone modal logics. First, we transfer Lyndon's result from classical predicate calculus and prove LPP for all normal modal logics with the Lyndon interpolation property (LIP). Then we prove that all logics between K4.3 and S4.3 do not have LPP. We also show that among tabular extensions of S4 there are infinitely many logics with LPP and infinitely many logics without this property. Finally, we prove that all canonical monotone modal logics which are preserved under bisimulation products have both LIP and LPP. In particular, we show LIP and LPP for all logics that are axiomatizable over the minimal monotone logic EM by means of closed formulas and formulas of the form A(p) -> <>p, where A is positive.

Club guessing and the universal models

2026-02-02T21:17:15Z

We survey the use of club guessing and other pcf constructs in the context of showing that a given partially ordered class of objects does not have a largest, or a universal element. The article was published in 2006. On rereading we noticed a missing parameter in Definition 1.1, which makes the rest the recounting of the Kojman-Shelah incorrect. We correct the (minor) error in this version, changes marked in red.

A formula for any real number, maybe

2026-02-02T17:48:14Z

We discuss how to write down three specific natural numbers $A$, $B$, $C$ such that for any real number $r$ you've probably ever thought of, it is consistent with $\mathsf{ZFC}$ set theory that $$\def\Rb{\mathbb{R}}\def\Nb{\mathbb{N}}r = \log\left(\sup_{x_0,x_1 \in \Rb} \inf_{x_2 \in \Rb} \sup_{x_3 \in \Rb}\inf_{x_4 \in \Rb}\sup_{m \in \Nb}\inf_{n_0,\dots,n_{A} \in \Nb} x^2_0 \begin{bmatrix} \phantom{+}(n_0 - 2)^2 + (n_1-m)^2 \\ + n_2 + (n_B - n_C)^2 \\ + n_3 \sum_{k=0}^4 ( x_k - \frac{n_{k+5}}{1+n_4} +n_4)^2 \\ + \sum_{i,j = 0}^B (n_{9+2^i3^j} - n_i^{n_j})^2 \end{bmatrix} \right).$$ We also discuss why it's possible, assuming the existence of certain large cardinals, for there to be a real number $s$ which cannot be the value of this formula for our particular $A$, $B$, $C$. This involves set-theoretic mice.

Decidability of Interpretability

2026-02-02T16:36:08Z

The Bodirsky-Pinsker conjecture asserts a P vs. NP-complete dichotomy for the computational complexity of Constraint Satisfaction Problems (CSPs) of first-order reducts of finitely bounded homogeneous structures. Prominently, two structures in the scope of the conjecture have log-space equivalent CSPs if they are pp-bi-interpretable, or equivalently, if their polymorphism clones are topologically isomorphic. The latter gives rise to the algebraic approach which regards structures with topologically isomorphic polymorphism clones as equivalent and seeks to identify structural reasons for hardness or tractability in topological clones. We establish that the equivalence relation of pp-bi-interpretability underlying this approach is reasonable: On the one hand, we show that it is decidable under mild conditions on the templates; this improves a theorem of Bodirsky, Pinsker and Tsankov (LICS'11) on decidability of equality of polymorphism clones. On the other hand, we show that within the much larger class of transitive $ω$-categorical structures without algebraicity, the equivalence relation is of lowest possible complexity in terms of descriptive set theory: namely, it is smooth, i.e., Borel-reduces to equality on the real numbers. On our way to showing the first result, we establish that the model-complete core of a structure that has a finitely bounded Ramsey expansion (which might include all structures of the Bodirsky-Pinsker conjecture) is computable, thereby providing a constructive alternative to previous non-constructive proofs of its existence.

Maximal Prikry Sequences

2026-02-02T16:09:01Z

In this paper we investigate the covering machinery of the Jensen-Steel core model $K$, under the hypothesis that there is no inner model with a Woodin cardinal. In an earlier work, Mitchell and the first author showed that if $ν>ω_2$ is a regular cardinal in $K$ but a singular ordinal in $V$, then $ν$ is a measurable cardinal in $K$. In this article, we further show that under certain circumstances, there exists a maximal Prikry sequence $C$ for a measure on $ν$ in $K$. The first author shows that the anti-large cardinal hypothesis is necessary. In a more restrictive setting, we prove that every subset of $ν$ with size $<|ν|$ can be covered by a set in $K[C]$ with size $<|ν|$. Benhamou and the first author show that the result is optimal.

Small measurable cardinals

2026-02-02T11:48:50Z

We continue the work from [8] and make a small -- but significant -- improvement to the definition of $j$-decomposable system. This provides us with a better lifting of elementary embeddings to symmetric extensions. In particular, this allows us to more easily lift weakly compact embeddings and thus preserve the notion of weakly critical cardinals. We use this improved lifting criterion to show that the first measurable cardinal can be the first weakly critical cardinal or the first Mahlo cardinal, both relative to the existence of a single measurable cardinal. However, if the first inaccessible cardinal is the first measurable cardinal, then in a suitable inner model it has Mitchell order of at least $2$.

Model theory of term algebras revisited

2026-02-02T08:49:34Z

Building on work of Maltsev on locally free algebras in finite purely functional languages, we revisit the model theory of (absolutely free) term algebras and their completions. Maltsev's analysis yields a natural axiomatization together with quantifier elimination to positive Boolean combinations of special formulas, and shows that the complete extensions are parametrized exactly by the number $k\in\{0,1,\dots,ω\}$ of indecomposable elements; for $1\le k\leω$ the standard model is the free term algebra on $k$ generators. We give a new, quantifier-elimination--free proof of completeness using Ehrenfeucht--Fraïssé games, and we establish several further structural properties of the standard models and theories. In particular, for $1\le k\leω$ we prove first-order rigidity and atomicity of the standard model. For every $0\le k\leω$ we show that the corresponding theory does not have the finite cover property and weakly eliminates imaginaries. We also provide new proofs of stability-theoretic features previously obtained by Belegradek: the theories are stable but not superstable, normal (hence $1$-based), and have trivial forking; consequently, no infinite group is interpretable in any model. Finally, we analyze model completeness and show that $T_0$ is the model companion of the theory of locally free algebras, while the theories with $k\ge 1$ are not model complete.

Newelski's Conjecture for $o$-Minimal and $p$-Adic Groups

2026-02-02T08:43:49Z

Let $ M_0 $ denote either the field structure $ \mathbb{Q}_p $ of $ p $-adic numbers, or an $o$-minimal expansion of the field structure $ \mathbb{R} $ of real numbers. We investigate the minimal flows and Ellis groups of definable groups over $ M_0 $ from the perspective of definable topological dynamics. This paper builds on the research initiated in \cite{BY-APAL} and generalizes the main results thereof in two key ways: First, we extend the scope of these results from reductive algebraic groups to arbitrary definable groups. Second, we generalize the approach from $ p $-adically closed fields to $o$-minimal expansions of real closed fields. Let $G$ be a definable group over $M_0$, and let $B$ be a definably amenable component (see Definition \ref{def-DAC}) of $G$. In a certain sense, $B$ can be regarded as a ``maximal definably amenable subgroup'' of $G$ (see Fact \ref{fact-max-DA-subgroup}). The main conclusion of this paper is as follows: For any $M \succ M_0$, the Ellis group of the universal definable flow of $G$ over $M$ is isomorphic to that of $B$ over $M$. In particular, the Ellis groups of the universal definable flow of $G$ are model-independent, as is the case for $B$ (see \cite{CS-Definably-Amenable-NIP-Groups}). As a consequence, we conclude that Newelski's Conjecture holds if and only if $G$ is definably amenable when $M_0 = \mathbb{Q}_p$.

Hyper-u-amenablity and Hyperfiniteness of Treeable Equivalence Relations

2026-02-02T08:02:22Z

We introduce the notions of u-amenability and hyper-u-amenability for countable Borel equivalence relations, strong forms of amenability that are implied by hyperfiniteness. We show that treeable, hyper-u-amenable countable Borel equivalence relations are hyperfinite. One of the corollaries that we get is that if a countable Borel equivalence relation is measure-hyperfinite and equal to the orbit equivalence relation of a free continuous action of a virtually free group on a $σ$-compact Polish space, then it is hyperfinite. We also obtain that if a countable Borel equivalence relation is treeable and equal to the orbit equivalence relation of a Borel action of an amenable group on a standard Borel space, or if it is treeable, amenable and Borel bounded, then it is hyperfinite.

Laver ultrafilters

2026-02-01T22:59:05Z

We introduce $\textit{Laver ultrafilters}$, namely ultrafilters $\mathcal{U}$ for which the associated Laver forcing $\mathbb{L}_{\mathcal{U}}$ has the Laver property. We give simple combinatorial characterisations of these ultrafilters, which allow us to analyse their position among several well-studied combinatorial classes, including $P$-points, rapid ultrafilters, and ultrafilters arising in Baumgartner's $\mathcal{I}$-ultrafilter framework. In particular, we show that the class of Laver ultrafilters properly contains the class of rapid $P$-points and that it is properly contained both in the class of hereditarily rapid- and in the class of measure zero ultrafilters. Finally, we investigate the (generic) existence of Laver ultrafilters and establish bounds on their generic existence number. In particular, we show that it is consistent that $P$-points do not exist while Laver ultrafilters exist generically.

A Class of Generalised Quantifiers for k-Variable Logics

2026-02-01T13:17:56Z

We introduce k-quantifier logics -- logics with access to k-tuples of elements and very general quantification patterns for transitions between k-tuples. The framework is very expressive and encompasses e.g. the k-variable fragments of first-order logic, modal logic, and monotone neighbourhood semantics. We introduce a corresponding notion of bisimulation and prove variants of the classical Ehrenfeucht-Fraisse and Hennessy-Milner theorem. Finally, we show a Lindstrom-style characterisation for k-quantifier logics that satisfy Los' theorem by proving that they are the unique maximally expressive logics that satisfy Los' theorem and are invariant under the associated bisimulation relations.

A Baire Category Approach to Besicovitch's Theorem and Measure Regularity

2026-01-31T23:52:55Z

By reformulating the classical proof as a Baire Category argument, we show that Besicovitch's Theorem in Cantor space is provable in $ACA_0$, and additionally that the witnessing subset is computable from one jump of the original set. We show that the necessary formulation of Baire Category, which we call Baire Category Theorem for Closed Sets (BCTC), is equivalent to $ACA_0$, contrasting with previous results on the reverse math strength of Baire Category variants. We also examine the implications of BCTC for more general monotone functions on closed sets, and explore how changing the representation of a closed set affects the reverse math strength of its measure regularity properties.

Exotic full factors via weakly coarse bimodules

2026-01-31T23:10:03Z

We are able to explicitly compute the bimodule structure of von Neumann algebra inclusions in handle constructions, which arise as inductive limits of iterated amalgamated free products not elementarily equivalent to $L(\mathbb{F}_2)$. Our computation is achieved via identifying delicate normal form decompositions in amalgamated free products built in an iterated fashion. Using these techniques, we are able to show that the handles constructions are always full, without any need to appeal to Property (T) phenomena which was essential in all previous works. Furthermore our bimodule machinery works in the setting of arbitrary von Neumann algebras equipped with faithful normal states, yielding examples of full $\mathrm{III}_1$ factors via handle constructions.