Finite Spectra of Syllogistic Logic with Cardinality Comparisons
In the authors' words
We study the finite spectra of the syllogistic logic with cardinality comparisons . Since the language does not contain conjunction at the sentence level, we consider the spectrum of a theory , namely the set of positive integers for which is satisfiable in an -element model. We give a complete classification of these spectra: besides the empty set, every -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 by Boolean connectives at the sentence level and show that the collection of its spectra forms the topology generated by the spectra of the original language.
Main resultThe abstract does not state a limitation.
Appeared: Tuesday, September 22. arXiv. Preprint, not yet peer-reviewed.