In the mathematical field of set theory, Ω-logic is an abstract deductive system proposed by W. Hugh Woodin as part of an inquiry into large cardinal axioms considered in the abstract, the determinacy of corresponding pointclasses, and as part of a controversial argument that the continuum hypothesis is false.
| Property | Value |
|---|
| dbpprop:abstract
|
- In the mathematical field of set theory, Ω-logic is an abstract deductive system proposed by W. Hugh Woodin as part of an inquiry into large cardinal axioms considered in the abstract, the determinacy of corresponding pointclasses, and as part of a controversial argument that the continuum hypothesis is false.
|
| rdfs:comment
|
- In the mathematical field of set theory, Ω-logic is an abstract deductive system proposed by W. Hugh Woodin as part of an inquiry into large cardinal axioms considered in the abstract, the determinacy of corresponding pointclasses, and as part of a controversial argument that the continuum hypothesis is false.
|
| rdfs:label
| |
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
![[RDF Data]](/statics/sw-cube.png)
