Ω-論理

Ω論理（Ω-logic）は、集合論ではW. Hugh Woodin (1999)によって提案された無限論理と演繹体型である。

解説

W. Hugh Woodin (1999) によると、構造を被覆するために点類の決定性の理論を一般化する試みの一部として $H_{\aleph _{2}}$ 。

射影決定性の公理が $H_{\aleph _{1}}$ の標準理論を充たしながら、より大きな構造の標準的な理論を与える公理を見つけようとした。

彼が開発した理論には、連続体仮説が偽であるという物議を醸す議論が含まれる。

脚注

参考文献

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, MR 2267144
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, MR 1713438
Woodin, W. Hugh (2001), “The continuum hypothesis. I”, Notices of the American Mathematical Society 48 (6): 567–576, ISSN 0002-9920, MR 1834351
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, MR 2143878

外部リンク

W. H. Woodin, Slides for 3 talks

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.