About: Ω-logic

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Ω-logic Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatSystemsOfFormalLogic, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2F%CE%A9-logic&invfp=IFP_OFF&sas=SAME_AS_OFF

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.

Attributes	Values
rdf:type	Thing yago:Ability105616246 yago:Abstraction100002137 yago:Cognition100023271 yago:Know-how105616786 yago:Logic105664069 yago:Method105660268 yago:PsychologicalFeature100023100 yago:System105661996 yago:WikicatSystemsOfFormalLogic
rdfs:label	Ω-論理 (ja) Ω-logic (en)
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)
dcterms:subject	Set theory Systems of formal logic
Wikipage page ID	13772472 (xsd:integer)
Wikipage revision ID	979460500 (xsd:integer)
Link from a Wikipage to another Wikipage	Determinacy Infinitary logic Notices of the American Mathematical Society Continuum hypothesis Core model Martin's maximum Deductive system Set theory Gödel's completeness theorem Wadge hierarchy Systems of formal logic Hereditarily countable set Woodin cardinal Axiom of projective determinacy Inaccessible cardinal Set theory Pointclass Universally Baire set Ω-consistent theory
Link from a Wikipage to an external page	http://www.users.muohio.edu/larsonpb/omegalogicmaster5.pdf http://www.fields.utoronto.ca/audio/02-03/ http://www.aslonline.org/books-lnl_19.html https://books.google.com/%3Fid=bQ9pQwVt8CsC%7Cmr=1713438%7Cdoi=10.1515/9783110804737 http://plato.stanford.edu/archives/sum2013/entries/continuum-hypothesis/ http://www.ams.org/notices/200106/fea-woodin.pdf http://www.ams.org/notices/200107/fea-woodin.pdf
sameAs	Ω-logic Ω-logic Ω-logic Ω-logic
dbp:wikiPageUsesTemplate	dbt:Citation dbt:Distinguish dbt:Reflist dbt:Harvs
authorlink	W. Hugh Woodin (en)
first	W. Hugh (en)
last	Woodin (en)
year	1999 (xsd:integer)
has 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)
prov:wasDerivedFrom	wikipedia-en:Ω-logic?oldid=979460500&ns=0
page length (characters) of wiki page	5991 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Ω-logic
is differentFrom of	Ω-consistent theory
is Link from a Wikipage to another Wikipage of	Validity (logic) Infinitary logic Omega-logic Glossary of set theory Continuum hypothesis W. Hugh Woodin Large cardinal List of unsolved problems in mathematics Universally Baire set Ω-conjecture Ω-provability Ω-valid Ω-validity Ω logic Omega conjecture
is Wikipage redirect of	Ω-conjecture Ω-provability Ω-valid Ω-validity Ω logic Omega conjecture
is foaf:primaryTopic of	wikipedia-en:Ω-logic

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software