[過去ﾛｸﾞ] 集合論について (615ﾚｽ)
上下前次1-新

---

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

---

316(1): 2014/05/06(火) 21:42:40.15 AA×
>>314>>248


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
316: [sage] 2014/05/06(火) 21:42:40.15 >>314 L-S-下降定理: 　言語 L 上の理論 T の任意のモデル M は 　濃度κ = max(|L|, ω)の初等部分構造 N ＜ M を持つ。 　（とくにNとMは全ての閉論理式の真偽が同じになる。） ZFの言語は可算だからκはアレフ0になる。 だから>>248の最初の文は 「ZFの任意のモデルをM'とし、その可算な初等部分構造を M とします。」 とすれば、最後の部分も 「したがって M 内でACは真、したがって M' 内でACは真、したがって、完全性定理より」 とすれば通用する。 まあその間の部分に間違いがあるから結局ダメなんだけど。 http://rio2016.5ch.net/test/read.cgi/math/1384715117/316
下降定理 言語 上の理論 の任意のモデル は 濃度 の初等部分構造 を持つ とくにとは全ての閉論理式の真偽が同じになる の言語は可算だからはアレフになる だからの最初の文は の任意のモデルをとしその可算な初等部分構造を とします とすれば最後の部分も したがって 内では真したがって 内では真したがって完全性定理より とすれば通用する まあその間の部分に間違いがあるから結局ダメなんだけど

---

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

---

あと 299 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 0.020s