About: Erdős cardinal     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Whole100003553, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FErd%C5%91s_cardinal

In mathematics, an Erdős cardinal, also called a partition cardinal is a certain kind of large cardinal number introduced by Paul Erdős and András Hajnal. The Erdős cardinal κ(α) is defined to be the least cardinal such that for every function f : κ< ω → {0, 1}, there is a set of order type α that is homogeneous for  f  (if such a cardinal exists). In the notation of the partition calculus, the Erdős cardinal κ(α) is the smallest cardinal such that κ(α) → (α)< ω If κ is α-Erdős, then it is α-Erdős in every transitive model satisfying "α is countable".

AttributesValues
rdf:type
rdfs:label
  • Erdős cardinal (en)
rdfs:comment
  • In mathematics, an Erdős cardinal, also called a partition cardinal is a certain kind of large cardinal number introduced by Paul Erdős and András Hajnal. The Erdős cardinal κ(α) is defined to be the least cardinal such that for every function f : κ< ω → {0, 1}, there is a set of order type α that is homogeneous for  f  (if such a cardinal exists). In the notation of the partition calculus, the Erdős cardinal κ(α) is the smallest cardinal such that κ(α) → (α)< ω If κ is α-Erdős, then it is α-Erdős in every transitive model satisfying "α is countable". (en)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
dbp:wikiPageUsesTemplate
authorlink
  • Paul Erdős (en)
first
  • Paul (en)
  • András (en)
last
  • Hajnal (en)
  • Erdős (en)
year
has abstract
  • In mathematics, an Erdős cardinal, also called a partition cardinal is a certain kind of large cardinal number introduced by Paul Erdős and András Hajnal. The Erdős cardinal κ(α) is defined to be the least cardinal such that for every function f : κ< ω → {0, 1}, there is a set of order type α that is homogeneous for  f  (if such a cardinal exists). In the notation of the partition calculus, the Erdős cardinal κ(α) is the smallest cardinal such that κ(α) → (α)< ω Existence of zero sharp implies that the constructible universe L satisfies "for every countable ordinal α, there is an α-Erdős cardinal". In fact, for every indiscernible κ, Lκ satisfies "for every ordinal α, there is an α-Erdős cardinal in Coll(ω, α) (the Levy collapse to make α countable)". However, existence of an ω1-Erdős cardinal implies existence of zero sharp. If  f  is the satisfaction relation for L (using ordinal parameters), then existence of zero sharp is equivalent to there being an ω1-Erdős ordinal with respect to  f . And this in turn, the zero sharp implies the falsity of axiom of constructibility, of Kurt Gödel. If κ is α-Erdős, then it is α-Erdős in every transitive model satisfying "α is countable". (en)
author2-link
  • András Hajnal (en)
gold:hypernym
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is Wikipage redirect 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 (62 GB total memory, 53 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software