Ω-論理
 | この記事は英語版の対応するページを翻訳することにより充実させることができます。（2022年7月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
Ω論理（Ω-logic）は、集合論ではW. Hugh Woodin (1999)によって提案された無限論理と演繹体型である。
解説
[編集]W. Hugh Woodin (1999) によると、構造を被覆するために点類の決定性の理論を一般化する試みの一部として 。
射影決定性の公理がの標準理論を充たしながら、より大きな構造の標準的な理論を与える公理を見つけようとした。
彼が開発した理論には、連続体仮説が偽であるという物議を醸す議論が含まれる。
脚注
[編集]参考文献
[編集]- Bagaria, Joan; Castells, Neus; Larson, Paul (2006), “An Ω-logic primer”, Set theory, Trends Math., Basel, Boston, Berlin: Birkhäuser, pp. 1–28, doi:10.1007/3-7643-7692-9_1, ISBN 978-3-7643-7691-8, MR2267144
- Koellner, Peter (2013), “The Continuum Hypothesis”, The Stanford Encyclopedia of Philosophy, Edward N. Zalta (ed.)
- Woodin, W. Hugh (1999), The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal, Walter de Gruyter, doi:10.1515/9783110804737, ISBN 3-11-015708-X, MR1713438
- Woodin, W. Hugh (2001), “The continuum hypothesis. I”, Notices of the American Mathematical Society 48 (6): 567–576, ISSN 0002-9920, MR1834351
- Woodin, W. Hugh (2001b), “The Continuum Hypothesis, Part II”, Notices of the AMS 48 (7): 681–690
- Woodin, W. Hugh (2005), “The continuum hypothesis”, in Cori, Rene; Razborov, Alexander; Todorčević, Stevo et al., Logic Colloquium 2000, Lect. Notes Log., 19, Urbana, IL: Assoc. Symbol. Logic, pp. 143–197, MR2143878
外部リンク
[編集]- W. H. Woodin, Slides for 3 talks
 | この項目は、まだ閲覧者の調べものの参照としては役立たない、書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。 このテンプレートは分野別のサブスタブテンプレートやスタブテンプレート（Wikipedia:分野別のスタブテンプレート参照）に変更することが望まれています。 |