Ω-論理

Ω論理（テンプレート:Lang-en）は、集合論ではテンプレート:Harvard citationsによって提案された無限論理と演繹体型である。

解説

テンプレート:Harvard citations によると、構造を被覆するために点類の決定性の理論を一般化する試みの一部として$H_{{\mathrm{\aleph }}_2}$ 。

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

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

参考文献

• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation

外部リンク

• W. H. Woodin, Slides for 3 talks