Tootfinder

The Cardinalities of Intervals of Equational Theories and Logics
Juan P. Aguilera, Nick Bezhanishvili, Tenyo Takahashi
https://arxiv.org/abs/2603.27203 https://arxiv.org/pdf/2603.27203 https://arxiv.org/html/2603.27203
arXiv:2603.27203v1 Announce Type: new
Abstract: We study the cardinality of classes of equational theories (varieties) and logics by applying descriptive set theory. We affirmatively solve open problems raised by Jackson and Lee [Trans. Am. Math. Soc. 370 (2018), pp. 4785-4812] regarding the cardinalities of subvariety lattices, and by Bezhanishvili et al. [J. Math. Log. (2025), in press] regarding the degrees of the finite model property (fmp). By coding equations and formulas by natural numbers, and theories and logics by real numbers, we examine their position in the Borel hierarchy. We prove that every interval of equational theories in a countable language corresponds to a $\boldsymbol{\Pi}^0_1$ set, and every fmp span of a normal modal logic to a $\boldsymbol{\Pi}^0_2$ set. It follows that they have cardinality either $\leq \aleph_0$ or $2^{\aleph_0}$, provably in ZFC. In the same manner, we observe that the set of pretabular extensions of a tense logic is a $\boldsymbol{\Pi}^0_2$ set, so its cardinality is either $\leq \aleph_0$ or $2^{\aleph_0}$. We also point out a negative solution to another open problem raised by Jackson and Lee [Trans. Am. Math. Soc. 370 (2018), pp. 4785-4812] regarding the existence of independent systems, which relies on Je\v{z}ek et al. [Bull. Aust. Math. Soc. 42 (1990), pp. 57-70].
toXiv_bot_toot

Replaced article(s) found for math.LO. https://arxiv.org/list/math.LO/new
[1/1]:
- $\aleph_1$-free abelian non-Archimedean Polish groups
Gianluca Paolini, Saharon Shelah
https://arxiv.org/abs/2410.02485 https://mastoxiv.page/@arXiv_mathLO_bot/113248116499123666
- Procountable groups are not classifiable by countable structures
Su Gao, Andr\'e Nies, Gianluca Paolini
https://arxiv.org/abs/2512.12256 https://mastoxiv.page/@arXiv_mathLO_bot/115728229989333373
- Janus-faces of temporal constraint languages: a dichotomy of expressivity
Johanna Brunar, Michael Pinsker, Moritz Sch\"obi
https://arxiv.org/abs/2509.04347 https://mastoxiv.page/@arXiv_csLO_bot/115150675729544105
- On the word problem for just infinite groups
Alexey Talambutsa
https://arxiv.org/abs/2512.24266 https://mastoxiv.page/@arXiv_mathGR_bot/115818751970492539
toXiv_bot_toot