{"id":"arxiv/2609.24902","url":"https://arxiv.org/abs/2609.24902","tags":["math.LO"],"score":0,"title":"Finite Spectra of Syllogistic Logic with Cardinality Comparisons","domain":"math.LO","source":"arxiv","authors":["Ruiting Jiang"],"reviews":0,"subject":"math.LO","summary":"We study the finite spectra of the syllogistic logic with cardinality comparisons $S^\\dagger(card)$. Since the language does not contain conjunction at the sentence level, we consider the spectrum of a theory $Γ$, namely the set of positive integers $n$ for which $Γ$ is satisfiable in an $n$-element model. We give a complete classification of these spectra: besides the empty set, every $S^\\dagger(card)$-spectrum is either an eventual tail of the positive integers or an eventual tail of the positive even integers. We then consider the extension of $S^\\dagger(card)$ by Boolean connectives at…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-21","reactions":{}}