Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 0705.2298

Local Sentences and Mahlo Cardinals

Olivier Finkel·Stevo Todorcevic
View original source ↗Read source document ↗Export metadata ↓

Abstract

Local sentences were introduced by J.-P. Ressayre who proved certain remarkable stretching theorems establishing the equivalence between the existence of finite models for these sentences and the existence of some infinite well ordered models. Two of these stretching theorems were only proved under certain large cardinal axioms but the question of their exact (consistency) strength was left open in [O. Finkel and J.-P. Ressayre, Stretchings, Journal of Symbolic Logic, Volume 61 (2), 1996, p. 563-585 ]. Here, we solve this problem, using a combinatorial result of J. H. Schmerl. In fact, we show that the stretching principles are equivalent to the existence of n-Mahlo cardinals for appropriate integers n. This is done by proving first that for each integer n, there is a local sentence phi_n which has well ordered models of order type alpha, for every infinite ordinal alpha > omega which is not an n-Mahlo cardinal.

Explore related subjects

math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Olivier Finkel, Stevo Todorcevic. 2007-05-16. Local Sentences and Mahlo Cardinals. https://arxiv.org/abs/0705.2298

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Star operation, microscopic sets and porous sets

This paper explores the interplay between star operations, microscopic sets, and porous sets. The study focuses on the Galvin-Mycielski-Solovay theorem, which characterizes strongly measure zero sets and their interactions with meager sets. Results include the investigation of the star operation $\mathcal{F}^*$ and its properties. The paper also examines the relationship between porous sets and microscopic sets. Additionally, the work presents constructions of families $\mathcal{F}$ in $\mathcal{P}(\mathbb{Z}), \mathcal{P}(\mathbb{Z}^ω),$ and $\mathcal{P}(2^ω)$ that satisfy $\mathcal{F} = \mathcal{F}^*$. Theorems and lemmas are provided to establish conditions under which $\mathcal{F}^{**} = \mathcal{F}$ and to analyze the implications of the Borel Conjecture and its dual. The paper concludes with a discussion of microscopic sets and their properties, including their interactions with porous sets and the non-equivalence of certain classes of sets.

math.LO↗
arXiv2026

The Cofinality of Generating Familes

The topology of a separable metrizable space $M$ is \emph{generated} by a family $\mathcal{C}$ of its subsets provided that a set $A\subseteq M$ is closed in $M$ if and only if $A\cap C$ is closed in $C$ for each $C\in \mathcal{C}$. The \emph{sequentiality number}, $\mathop{seq}(M)$, and \emph{$k$-ness number}, $\mathop{k}(M)$, of $M$, are the minimum size of a generating family of convergent sequences, respectively compact subsets. Let $\mathfrak{b}$ be the minimum size of an unbounded set in $ω^ω$ with the mod finite order. For a cardinal $κ$, the \emph{covering number}, $\mathop{cov}(κ)$, is the minimum size of a family of countable subsets of $κ$ so that every countable subset of $κ$ is contained in an element of the family. It is shown using the Tukey order on relations that (1) $\mathop{seq}(M)=\mathop{cov}(|M|)\cdot \mathfrak{b}$, unless $M$ is locally small (every point of $M$ has a neighborhood of size strictly less than $|M|$) in which case $\mathop{seq}(M)=\lim_{μ<|M|} \mathop{cov}(μ)\cdot \mathfrak{b}$ and (2) $k(M)$ is in the interval $[kc(M)\cdot\mathfrak{b},\mathop{cov}(kc(M))\cdot \mathfrak{b}]$, where $kc(M)$ is the minimum number of compact sets that cover $M$. Solutions to problems of van Douwen's on the $k$-ness number of analytic and of co-analytic spaces are deduced.

math.LO↗
arXiv2026

The Game-Theoretic Katětov Order and Idealised Effective Subtoposes

This paper addresses the longstanding problem of determining the structure of the $\leq_{\mathrm{LT}}$-order in the Effective Topos, known to effectively embed the Turing degrees. In a surprising discovery, we show that the $\leq_{\mathrm{LT}}$-order is in fact tightly controlled by the combinatorics of filters on $ω$, raising deep questions about how combinatorial and computable complexity interact, both within this order and beyond it. To make the connection precise, we introduce a game-theoretic (''gamified'') variant of the Katětov order on filters over $ω$, which turns out to exhibit a striking mix of coarseness and subtlety. For one, it is strictly coarser than the classical Rudin-Keisler order and, when viewed dually on ideals, collapses all MAD families to a single equivalence class. On the other hand, the order also supports a rich internal structure, including an infinite strictly ascending chain of ideal classes, which we identify by way of a new separation technique. From the computability-theoretic perspective, we show that a computable (and extended) variant of the gamified Katětov order is isomorphic to the original $\leq_{\mathrm{LT}}$-order. Moreover, our work brings into focus a new degree-spectrum invariant for filters $\mathcal{F}$, $$\mathcal{D}_{\mathrm{T}}(\mathcal{F}):=\{\,[f\colonω\toω] \mid f\leq_{\mathrm{LT}} \mathcal{F} \},$$ which is shown to always determine a proper initial segment of the Turing degrees. Extending this, given any non-principal $Δ^1_1$ filter $\mathcal{F}$, we show that $\mathcal{D}_{\mathrm{T}}(\mathcal{F})$ is precisely the class of hyperarithmetic degrees. This significantly generalises previous results obtained by van Oosten \cite{vO14} and Kihara \cite{Kih23}. The proofs draw on ideas from general topology, descriptive set theory, and computability theory.

math.LO↗