http://dbpedia.org/ontology/abstract
|
In the mathematical discipline of set theo … In the mathematical discipline of set theory, 0# (zero sharp, also 0#) is the set of true formulae about indiscernibles and order-indiscernibles in the Gödel constructible universe. It is often encoded as a subset of the integers (using Gödel numbering), or as a subset of the hereditarily finite sets, or as a real number. Its existence is unprovable in ZFC, the standard form of axiomatic set theory, but follows from a suitable large cardinal axiom. It was first introduced as a set of formulae in Silver's 1966 thesis, later published as , where it was denoted by Σ, and rediscovered by , p.52), who considered it as a subset of the natural numbers and introduced the notation O# (with a capital letter O; this later changed to the numeral '0'). Roughly speaking, if 0# exists then the universe V of sets is much larger than the universe L of constructible sets, while if it does not exist then the universe of all sets is closely approximated by the constructible sets.ly approximated by the constructible sets.
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://matwbn.icm.edu.pl/tresc.php%3Fwyd=1&tom=66 +
|
http://dbpedia.org/ontology/wikiPageID
|
248085
|
http://dbpedia.org/ontology/wikiPageLength
|
9046
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1117468071
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:Large_cardinals +
, http://dbpedia.org/resource/Jack_Silver +
, http://dbpedia.org/resource/Turing_degree +
, http://dbpedia.org/resource/G%C3%B6del_number +
, http://dbpedia.org/resource/Formula_%28mathematical_logic%29 +
, http://dbpedia.org/resource/Cofinality +
, http://dbpedia.org/resource/Transactions_of_the_American_Mathematical_Society +
, http://dbpedia.org/resource/Robert_M._Solovay +
, http://dbpedia.org/resource/Axiom_of_constructibility +
, http://dbpedia.org/resource/Ronald_Jensen +
, http://dbpedia.org/resource/Constructible_universe +
, http://dbpedia.org/resource/Chang%27s_conjecture +
, http://dbpedia.org/resource/Leo_Harrington +
, http://dbpedia.org/resource/Zero_dagger +
, http://dbpedia.org/resource/Erd%C5%91s_cardinal +
, http://dbpedia.org/resource/Large_cardinal +
, http://dbpedia.org/resource/List_of_forcing_notions +
, http://dbpedia.org/resource/Axiomatic_set_theory +
, http://dbpedia.org/resource/Measurable_cardinal +
, http://dbpedia.org/resource/Uncountable_set +
, http://dbpedia.org/resource/Category:Real_numbers +
, http://dbpedia.org/resource/Baire_space_%28set_theory%29 +
, http://dbpedia.org/resource/Jensen%27s_covering_theorem +
, http://dbpedia.org/resource/Category:Determinacy +
, http://dbpedia.org/resource/Hereditarily_finite_set +
, http://dbpedia.org/resource/Donald_A._Martin +
, http://dbpedia.org/resource/Indiscernibles +
, http://dbpedia.org/resource/Generic_filter +
, http://dbpedia.org/resource/Category:Constructible_universe +
, http://dbpedia.org/resource/ZFC +
, http://dbpedia.org/resource/Regular_cardinal +
, http://dbpedia.org/resource/Cardinal_number +
, http://dbpedia.org/resource/Lightface_analytic_game +
, http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/Ramsey_cardinal +
, http://dbpedia.org/resource/Springer-Verlag +
, http://dbpedia.org/resource/Jensen%27s_covering_lemma +
, http://dbpedia.org/resource/Tarski%27s_undefinability_theorem +
, http://dbpedia.org/resource/Ineffable_cardinal +
, http://dbpedia.org/resource/Cofinal_%28mathematics%29 +
, http://dbpedia.org/resource/G%C3%B6del_constructible_universe +
, http://dbpedia.org/resource/Forcing_%28mathematics%29 +
, http://dbpedia.org/resource/Cardinality +
, http://dbpedia.org/resource/G%C3%B6del_numbering +
|
http://dbpedia.org/property/b
|
2
, 3
|
http://dbpedia.org/property/p
|
1
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Harvtxt +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Su +
, http://dbpedia.org/resource/Template:Citation +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Constructible_universe +
, http://dbpedia.org/resource/Category:Real_numbers +
, http://dbpedia.org/resource/Category:Determinacy +
, http://dbpedia.org/resource/Category:Large_cardinals +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Set +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Zero_sharp?oldid=1117468071&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Zero_sharp +
|
owl:sameAs |
https://global.dbpedia.org/id/4xZGy +
, http://yago-knowledge.org/resource/Zero_sharp +
, http://dbpedia.org/resource/Zero_sharp +
, http://www.wikidata.org/entity/Q8069610 +
, http://rdf.freebase.com/ns/m.01kwj8 +
|
rdf:type |
http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/class/yago/Clergyman109927451 +
, http://dbpedia.org/class/yago/WikicatLargeCardinals +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/class/yago/Leader109623038 +
, http://dbpedia.org/class/yago/Priest110470779 +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/Bishop109857200 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/SpiritualLeader109505153 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/Cardinal109894143 +
|
rdfs:comment |
In the mathematical discipline of set theo … In the mathematical discipline of set theory, 0# (zero sharp, also 0#) is the set of true formulae about indiscernibles and order-indiscernibles in the Gödel constructible universe. It is often encoded as a subset of the integers (using Gödel numbering), or as a subset of the hereditarily finite sets, or as a real number. Its existence is unprovable in ZFC, the standard form of axiomatic set theory, but follows from a suitable large cardinal axiom. It was first introduced as a set of formulae in Silver's 1966 thesis, later published as , where it was denoted by Σ, and rediscovered by , p.52), who considered it as a subset of the natural numbers and introduced the notation O# (with a capital letter O; this later changed to the numeral '0').O; this later changed to the numeral '0').
|
rdfs:label |
Zero sharp
|