Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Zero_sharp> ?p ?o. }
Showing items 1 to 36 of
36
with 100 items per page.
- Zero_sharp abstract "In the mathematical discipline of set theory, 0# (zero sharp, also 0#) is the set of true formulae about indiscernibles and order-indiscernables 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 Silver (1971), where it was denoted by Σ, and rediscovered by Solovay (1967, 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 a number 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.".
- Zero_sharp wikiPageExternalLink tresc.php?wyd=1&tom=66.
- Zero_sharp wikiPageID "248085".
- Zero_sharp wikiPageRevisionID "597202793".
- Zero_sharp b "2".
- Zero_sharp b "3".
- Zero_sharp hasPhotoCollection Zero_sharp.
- Zero_sharp p "1".
- Zero_sharp subject Category:Constructible_universe.
- Zero_sharp subject Category:Determinacy.
- Zero_sharp subject Category:Large_cardinals.
- Zero_sharp subject Category:Real_numbers.
- Zero_sharp type Bishop109857200.
- Zero_sharp type Cardinal109894143.
- Zero_sharp type CausalAgent100007347.
- Zero_sharp type Clergyman109927451.
- Zero_sharp type LargeCardinals.
- Zero_sharp type Leader109623038.
- Zero_sharp type LivingThing100004258.
- Zero_sharp type Object100002684.
- Zero_sharp type Organism100004475.
- Zero_sharp type Person100007846.
- Zero_sharp type PhysicalEntity100001930.
- Zero_sharp type Priest110470779.
- Zero_sharp type SpiritualLeader109505153.
- Zero_sharp type Whole100003553.
- Zero_sharp type YagoLegalActor.
- Zero_sharp type YagoLegalActorGeo.
- Zero_sharp comment "In the mathematical discipline of set theory, 0# (zero sharp, also 0#) is the set of true formulae about indiscernibles and order-indiscernables 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.".
- Zero_sharp label "Zero sharp".
- Zero_sharp sameAs m.01kwj8.
- Zero_sharp sameAs Q8069610.
- Zero_sharp sameAs Q8069610.
- Zero_sharp sameAs Zero_sharp.
- Zero_sharp wasDerivedFrom Zero_sharp?oldid=597202793.
- Zero_sharp isPrimaryTopicOf Zero_sharp.