コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

Ω-論理

出典: フリー百科事典『ウィキペディア(Wikipedia)』
Ω論理から転送)

 

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

解説

[編集]

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

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

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

脚注

[編集]

参考文献

[編集]

外部リンク

[編集]