Finite Spectra of Syllogistic Logic with Cardinality Comparisons
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.24902
curl -X POST /api/v1/records/arxiv/2609.24902/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.24902/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'