個数比較を含む三段論法が成立する有限モデルの大きさを分類
Finite Spectra of Syllogistic Logic with Cardinality Comparisons
この論文をやさしく読む
ひとことで言うと
「どの集団の個数が多いか」といった比較を含む論理の条件を、何個の要素からなる有限世界で満たせるかを分類しています。
何に役立つ？
この論理が有限モデルの大きさについて表現できる制約を理解するために役立ちます。論理をブール結合子で拡張すると何が変わるかも整理しています。
この研究の面白いところ
充足できるモデルの大きさの集合が、空集合か、ある大きさ以降の全整数か全偶数という限られた形に収まります。拡張後の集合は位相という構造で記述されます。
どこまで分かった？
分類は指定されたS†(card)という論理のスペクトルについての結果です。任意の論理体系や、任意の個数条件を含む言語に同じ分類が成り立つとは述べていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
個数の比較を含む三段論法の論理S†(card)について、有限スペクトルを研究する。この言語は文のレベルでの連言を含まないため、理論Γのスペクトル、すなわちΓがn要素のモデルで充足可能となるような正の整数nの集合を考える。 これらのスペクトルを完全に分類する。空集合を除くすべてのS†(card)スペクトルは、ある点以降の正の整数全体、またはある点以降の正の偶数全体のいずれかである。次に、S†(card)を文レベルのブール結合子で拡張した言語を考え、そのスペクトルの集まりが、元の言語のスペクトルによって生成される位相をなすことを示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
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 $\Gamma$, namely the set of positive integers $n$ for which $\Gamma$ 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 the sentence level and show that the collection of its spectra forms the topology generated by the spectra of the original language.
arXiv ID: 2609.24902 ／ 要約の誤りについて