到達不能基数
一つ目として、基数κが到達不能であることはκが以下のreflection propertyを満たすことと同値である。: 全ての U ⊂ Vκに対してある α < κ が存在して ( V α , ∈ , U ∩ V α ) {\displaystyle (V_{\alpha },\in ,U\cap V_{\alpha })} が ( V κ , ∈ , U ) {\displaystyle (V_{\kappa },\in ,U)} の初等部分モデルになる (実は、そのようなαの集合はκの中でclubである)。 全ての n ≥ 0に対して κ が Π n 0 {\displaystyle \Pi _{n}^{0}} -記述不能 であるというのもこの条件に同値である。
ZFの下で∞がreflection propertyよりいくらか弱い条件を満たすことが 証明可能である。ここで、部分構造 (Vα, ∈, U ∩ Vα)は 式の有限集合に関して'初等的'であることのみ要求される。
結局、この弱化の理由は モデル理論的充足関係 ⊨ {\displaystyle \models } は定義できるが、 真理性は定義できないことによる。 タルスキの定理による。
二つ目は、ZFCの下で κが到達不能基数であることと (Vκ, ∈)が二階述語論理のZFCのモデルであることが 同値であることが証明できる。
この場合、上のreflection propertyによって、 あるα < κが存在して(Vα, ∈)が一階述語論理の ZFCの標準モデルとなる。 だから到達不能基数の存在はZFCの標準モデルの存在より強い仮定である。
Drake, F. R. (1974), Set Theory: An Introduction to Large Cardinals, Studies in Logic and the Foundations of Mathematics, 76, Elsevier Science Ltd, ISBN 0-444-10535-2
Hausdorff, Felix (1908), “Grundzüge einer Theorie der geordneten Mengen”, Mathematische Annalen 65 (4): 435–505, doi:10.1007/BF01451165, ISSN 0025-5831
Hrbacek, Karel; Jech, Thomas (1999), Introduction to set theory (3rd ed.), New York: Dekker, ISBN 978-0-8247-7915-3