Ω-論理
(Ω-logic から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/21 00:24 UTC 版)
|
この記事は英語版の対応するページを翻訳することにより充実させることができます。（2022年7月）
翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
Ω論理（Ω-logic）は、集合論ではW. Hugh Woodin (1999)によって提案された無限論理と演繹体型である。
解説
W. Hugh Woodin (1999) によると、構造を被覆するために点類の決定性の理論を一般化する試みの一部として
この項目は、まだ閲覧者の調べものの参照としては役立たない書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。
このテンプレートは分野別のサブスタブテンプレートやスタブテンプレート（Wikipedia:スタブカテゴリ参照）に変更することが望まれています。
- Ω-論理のページへのリンク
