- 653 名前：現代数学の系譜 雑談 [2021/05/29(土) 11:48:13.15 ID:fi/E4J7v.net]
- >>591
つづき
5.2.集合論のモデルの構成
(3)集合論の論理式φに対するKripke-Joya1解釈.
5.3.結論
(1)NNO25)をもつ任意のトポスEに対し,NNO∈UとなるpreuniverseUは上の解釈でZIO(直観主義的Z0)のモデルとなる.
(2)さらにEがwellpoweredのときuniverseUでco11ectionが,さらにEがcompleteのとき separationが成立つ.
(3)EがGr-トポスでUがuniverseのときZFＩのモデルとなる.
(引用終り)
以上
