Ω-logic
≈ 1 min read
Names in other languages
- baҠалып:Персона/Дата/Йәш/Logic
- УкраїнськаШаблон:Особа/Дата/Вік/Logic
- ttКалып:Шәхес/Дата/Яшь/Logic
Article bodies are English and are not machine-translated. A name in another language is not a translation of the article.
In set theory, Ω-logic is an infinitary logic and deductive system proposed by as part of an attempt to generalize the theory of determinacy of pointclasses to cover the structure H_{\aleph_2} . Just as the axiom of projective determinacy yields a canonical theory of H_{\aleph_1} , he sought to find axioms that would give a canonical theory for the larger structure. The theory he developed involves a controversial argument that the continuum hypothesis is false.
In set theory, Ω-logic is an infinitary logic and deductive system proposed by as part of an attempt to generalize the theory of determinacy of pointclasses to cover the structure H_{\aleph_2} . Just as the axiom of projective determinacy yields a canonical theory of H_{\aleph_1} , he sought to find axioms that would give a canonical theory for the larger structure. The theory he developed involves a controversial argument that the continuum hypothesis is false. ==Notes== ==References== ==External links== W. H. Woodin, Slides for 3 talks
Text derived from https://en.wikipedia.org/w/index.php?oldid=1336097018 under CC BY-SA 4.0; modifications have been made.