arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.33873

Compactness Principles for CSPs and the Axiom of Chocie

Anthony Li·Ishin Shan·Matthew Snodgrass·Riley Thornton·Rui Zhou
View original source ↗Read source document ↗Export metadata ↓

Abstract

We can associate a compactness principle $\mathcal K_{\mathcal{D}}$ to the Constraint Satisfaction Problem (CSP) with constraint library $\mathcal{D}$. These principles were studied by Katáy, Tóth, and Vidnyánszky and by Rorabaugh, Tardif, and Wehlau. We expand their work comparing the strength of $K_{\mathcal{D}}$ for varying structures $\mathcal{D}$. We characterize the structures whose compactness principles are provable from ZF; these turn out to be the width-1 structures. We compare some important compactness principles, namely those of $2\text{SAT}$, $3\text{LIN}2$, and $K_2$, settling a question of Katáy, Tóth, and Vidnyánszky. And, we find an infinite chain and an infinite anti-chain of compactness principles related to directed cycles and finite choice.

Explore related subjects

math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Anthony Li, Ishin Shan, Matthew Snodgrass, Riley Thornton, Rui Zhou. 2026-09-27. Compactness Principles for CSPs and the Axiom of Chocie. https://arxiv.org/abs/2609.33873

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

KEEP EXPLORING

Related papers

arXiv2026

Shelah's Main Gap and the generalized Borel-reducibility

We answer one of the main questions in generalized descriptive set theory, the Friedman-Hyttinen-Kulikov conjecture on the Borel reducibility of the Main Gap. We show a correlation between Shelah's Main Gap and generalized Borel reducibility notions of complexity. For any $κ$ satisfying $κ=λ^+=2^λ$ and $2^{\mathfrak{c}}\leqλ=λ^{ω_1}$, we show that if $T$ is a classifiable theory and $T'$ is a non-classifiable theory, then the isomorphism of models of $T'$ is strictly above the isomorphism of models of $T$ with respect to Borel-reducibility. We also show that the following can be forced: for any countable first-order theory in a countable vocabulary, $T$, the isomorphism of models of $T$ is either analytic co-analytic, or analytically-complete.

math.LO↗
arXiv2026

Minimal and intrinsic topologies on monoids of elementary embeddings

To every $ω$-categorical structure $\mathrm{Aut}M$ one can associate two spaces of symmetries which determine the structure up to first-order bi-interpretability: the topological group $\mathrm{Aut}(M)$ of its automorphisms and the topological monoid $\mathrm{EEmb}(M)$ of its elementary embeddings, both equipped with the topology of pointwise convergence $τ_{\mathrm{pw}}$. We investigate the relation of $τ_{\mathrm{pw}}$ to other topologies on these spaces: in particular, when $τ_{\mathrm{pw}}$ is minimal, i.e. does not admit any strictly coarser Hausdorff semigroup topology. A common method to prove minimality of $τ_{\mathrm{pw}}$ on $\mathrm{EEmb}(M)$ is to show that it coincides with the algebraically defined semigroup Zariski topology $τ_{\mathrm{Z}}$. We show that $τ_{\mathrm{pw}}$ differs from $τ_{\mathrm{Z}}$ on $\mathrm{EEmb}(M)$ whenever $\mathrm{Aut}(M)$ has a non-trivial centre. In spite of this, we then prove that whenever algebraic closure on $M$ is modular, $τ_{\mathrm{pw}}$ is minimal on $\mathrm{EEmb}(M)$. This covers, for example, countable vector spaces and projective spaces over finite fields. Turning to $\mathrm{Aut}(M)$, we describe the semigroup topologies coarser than $τ_{\mathrm{pw}}$ on the automorphism groups of structures for which algebraic independence satisfies independent 3-amalgamation. We conclude by proving that for the real and the rational Urysohn space and sphere, the metric pointwise topology $τ_{\mathrm{mp}}$ is minimal on $\mathrm{EEmb}(M)$, equals $τ_{\mathrm{Z}}$, and is strictly coarser than $τ_{\mathrm{pw}}$.

math.LO↗
arXiv2026

Quasi-Polish spaces and spaces of filters in second-order arithmetic

The class of quasi-Polish spaces admits several equivalent representations, including UF spaces, NP spaces, $\mathbfΠ_2^0$ subspaces of $\mathcal{P}(\mathbb{N})$, and sober spaces of countably presented frames. In this paper, we formalize these structures within second-order arithmetic and conduct a systematic reverse mathematical analysis of the transitions between them.

math.LO↗