About: Ω-logic

An Entity of Type: Abstraction100002137, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In set theory, Ω-logic is an infinitary logic and deductive system proposed by W. Hugh Woodin as part of an attempt to generalize the theory of determinacy of pointclasses to cover the structure . Just as the axiom of projective determinacy yields a canonical theory of , 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.

Property Value
dbo:abstract
  • In set theory, Ω-logic is an infinitary logic and deductive system proposed by W. Hugh Woodin as part of an attempt to generalize the theory of determinacy of pointclasses to cover the structure . Just as the axiom of projective determinacy yields a canonical theory of , 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. (en)
  • Ω論理（Ω-logic）は、集合論ではW. Hugh Woodinによって提案された無限論理と演繹体型である。 (ja)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 13772472 (xsd:integer)
dbo:wikiPageLength
  • 5991 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 979460500 (xsd:integer)
dbo:wikiPageWikiLink
dbp:authorlink
  • W. Hugh Woodin (en)
dbp:first
  • W. Hugh (en)
dbp:last
  • Woodin (en)
dbp:wikiPageUsesTemplate
dbp:year
  • 1999 (xsd:integer)
dcterms:subject
rdf:type
rdfs:comment
  • In set theory, Ω-logic is an infinitary logic and deductive system proposed by W. Hugh Woodin as part of an attempt to generalize the theory of determinacy of pointclasses to cover the structure . Just as the axiom of projective determinacy yields a canonical theory of , 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. (en)
  • Ω論理（Ω-logic）は、集合論ではW. Hugh Woodinによって提案された無限論理と演繹体型である。 (ja)
rdfs:label
  • Ω-論理 (ja)
  • Ω-logic (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is owl:differentFrom of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License