21/05/29 11:48:13.15 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Ｉのモデルとなる.
(引用終り)
以上