About: Easton's theorem     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Theorem106752293, 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%2FEaston%27s_theorem&invfp=IFP_OFF&sas=SAME_AS_OFF

In set theory, Easton's theorem is a result on the possible cardinal numbers of powersets. (extending a result of Robert M. Solovay) showed via forcing that the only constraints on permissible values for 2κ when κ is a regular cardinal are (where cf(α) is the cofinality of α) and

AttributesValues
rdf:type
rdfs:label
  • Satz von Easton (de)
  • Easton's theorem (en)
  • Théorème d'Easton (fr)
rdfs:comment
  • Der Satz von Easton, benannt nach William Bigelow Easton, ist ein mathematischer Lehrsatz aus dem Bereich der Mengenlehre. Die verallgemeinerte Kontinuumshypothese, die sich in der Mengenlehre ZFC, das heißt in der Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom, weder beweisen noch widerlegen lässt, besagt, dass , die Mächtigkeit der Potenzmenge einer unendlichen Kardinalzahl , stets mit der Nachfolgerkardinalzahl von übereinstimmt. Zum Nachweis der Unbeweisbarkeit hatte Paul Cohen ein Modell konstruiert, in dem diese Hypothese falsch ist. Der Satz von Easton stellt dazu ergänzend fest, dass die verallgemeinerte Kontinuumshypothese für reguläre Kardinalzahlen in nahezu beliebiger Weise verletzt sein kann. (de)
  • In set theory, Easton's theorem is a result on the possible cardinal numbers of powersets. (extending a result of Robert M. Solovay) showed via forcing that the only constraints on permissible values for 2κ when κ is a regular cardinal are (where cf(α) is the cofinality of α) and (en)
  • En théorie des ensembles, le théorème d'Easton est un résultat décrivant les nombres cardinaux possibles pour des ensembles de parties. (en) (améliorant un résultat de Robert Solovay) montra par forcing que les seules contraintes sur les valeurs possibles de 2κ, où κ est un cardinal régulier, sont celles découlant du théorème de Cantor et du théorème de König : , et (où cf(α) est la cofinalité de α). (fr)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • Der Satz von Easton, benannt nach William Bigelow Easton, ist ein mathematischer Lehrsatz aus dem Bereich der Mengenlehre. Die verallgemeinerte Kontinuumshypothese, die sich in der Mengenlehre ZFC, das heißt in der Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom, weder beweisen noch widerlegen lässt, besagt, dass , die Mächtigkeit der Potenzmenge einer unendlichen Kardinalzahl , stets mit der Nachfolgerkardinalzahl von übereinstimmt. Zum Nachweis der Unbeweisbarkeit hatte Paul Cohen ein Modell konstruiert, in dem diese Hypothese falsch ist. Der Satz von Easton stellt dazu ergänzend fest, dass die verallgemeinerte Kontinuumshypothese für reguläre Kardinalzahlen in nahezu beliebiger Weise verletzt sein kann. (de)
  • In set theory, Easton's theorem is a result on the possible cardinal numbers of powersets. (extending a result of Robert M. Solovay) showed via forcing that the only constraints on permissible values for 2κ when κ is a regular cardinal are (where cf(α) is the cofinality of α) and (en)
  • En théorie des ensembles, le théorème d'Easton est un résultat décrivant les nombres cardinaux possibles pour des ensembles de parties. (en) (améliorant un résultat de Robert Solovay) montra par forcing que les seules contraintes sur les valeurs possibles de 2κ, où κ est un cardinal régulier, sont celles découlant du théorème de Cantor et du théorème de König : , et (où cf(α) est la cofinalité de α). (fr)
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is Wikipage redirect of
is Wikipage disambiguates of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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, 57 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software