[過去ﾛｸﾞ] 純粋・応用数学（含むガロア理論）8 (942ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

592(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/29(土)11:48 ID:fi/E4J7v(10/25) AAS
>>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Ｉのモデルとなる.
(引用終り)
以上

---

597: 2021/05/29(土)12:29 ID:beKcuS0o(2/6) AAS
>>590-593
レス番号示せずまた逃亡。
やはりサルの妄想だった。
妄想ザルは数学板から出て行け。

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 2.272s*