About: Ω-論理

Property	Value
dbo:abstract	Ω論理（Ω-logic）は、集合論ではW. Hugh Woodinによって提案された無限論理と演繹体型である。 (ja) Ω論理（Ω-logic）は、集合論ではW. Hugh Woodinによって提案された無限論理と演繹体型である。 (ja)
dbo:wikiPageExternalLink	http://www.aslonline.org/books-lnl_19.html%7Cpublisher=Assoc. http://www.fields.utoronto.ca/audio/02-03/ http://www.users.muohio.edu/larsonpb/omegalogicmaster5.pdf%7Cpublisher=Birkh%C3%A4user%7Cseries=Trends https://books.google.com/%3Fid=bQ9pQwVt8CsC%7Cpublisher=Walter http://plato.stanford.edu/archives/sum2013/entries/continuum-hypothesis/%7Cjournal=The http://www.ams.org/notices/200106/fea-woodin.pdf%7Cjournal= http://www.ams.org/notices/200107/fea-woodin.pdf%7Cjournal=Notices
dbo:wikiPageID	4612692 (xsd:integer)
dbo:wikiPageLength	2481 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	90585369 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-ja:Category:形式論理体系 dbpedia-ja:Category:集合論 dbpedia-ja:Notices_of_the_American_Mathematical_Society dbpedia-ja:形式体系 dbpedia-ja:無限論理 dbpedia-ja:連続体仮説 dbpedia-ja:集合論 dbpedia-ja:遺伝的に可算集合
prop-ja:authorlink	W. Hugh Woodin (ja) W. Hugh Woodin (ja)
prop-ja:first	W. Hugh (ja) W. Hugh (ja)
prop-ja:last	Woodin (ja) Woodin (ja)
prop-ja:wikiPageUsesTemplate	template-ja:Harvard_citations template-ja:Citation template-ja:Expand_English template-ja:Reflist template-ja:Substub
prop-ja:year	1999 (xsd:integer)
dct:subject	dbpedia-ja:Category:形式論理体系 dbpedia-ja:Category:集合論
rdfs:comment	Ω論理（Ω-logic）は、集合論ではW. Hugh Woodinによって提案された無限論理と演繹体型である。 (ja) Ω論理（Ω-logic）は、集合論ではW. Hugh Woodinによって提案された無限論理と演繹体型である。 (ja)
rdfs:label	Ω-論理 (ja) Ω-論理 (ja)
prov:wasDerivedFrom	wikipedia-ja:Ω-論理?oldid=90585369&ns=0
foaf:isPrimaryTopicOf	wikipedia-ja:Ω-論理
is dbo:wikiPageRedirects of	dbpedia-ja:Ω論理
is dbo:wikiPageWikiLink of	dbpedia-ja:Ω論理
is owl:sameAs of	dbpedia-wikidata:Ω-論理
is foaf:primaryTopic of	wikipedia-ja:Ω-論理