{"id":"arxiv/2603.27203","url":"https://arxiv.org/abs/2603.27203","tags":["math.LO"],"score":0,"title":"The Cardinalities of Intervals of Equational Theories and Logics","domain":"math.LO","source":"arxiv","authors":["Juan P. Aguilera","Nick Bezhanishvili","Tenyo Takahashi"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-28","reactions":{}}