許容セット

数学の一分野である集合論において、許容集合とは、クリプキ-プラテック集合論のモデルとなる推移集合の ことである(Barwise 1975)。 ${\displaystyle A\,}$ ${\displaystyle \langle A,\in \rangle }$

許容集合の最小の例は、遺伝的に有限な集合の集合である。もう一つの例は、遺伝的に可算な集合の集合である。

参照

• 許容序数

参考文献

• バーワイズ、ジョン(1975). 「許容集合と構造：定義可能性理論へのアプローチ」 , 『数理論理学の展望』第7巻, シュプリンガー・フェアラーク.電子版はプロジェクト・ユークリッドで入手可能.