In mathematics, a Ramsey cardinal is a certain kind of large cardinal number introduced by and named after Frank P. Ramsey, whose theorem establishes that ω enjoys a certain property that Ramsey cardinals generalize to the uncountable case. Let [κ]<ω denote the set of all finite subsets of κ. a cardinal number κ is called ramsey if, for every function f: [κ]<ω → {0, 1} f: [κ]<ω → {0, 1} the existence of any of these kinds of ramsey cardinal is sufficient to prove the existence of 0#, or indeed that every set with rank less than κ has a sharp. f: [κ]<ω → {0, 1}
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Kardinalo preskaŭ de Ramsey (eo)
- Cardinal de Ramsey (fr)
- Ramsey cardinal (en)
|
| rdfs:comment
| - En matematiko, kardinalo preskaŭ de Ramsey estas certa speco de . Formale, kardinalo κ estas kardinalo preskaŭ de Ramsey se kaj nur se por ĉiu funkcio f: [κ] < ω → {0, 1} (kun [κ] < ω signifanta la aron de ĉiuj finiaj subaroj de κ) kaj por ĉiu λ < κ, estas aro de orda speco λ kiu estas por f. (eo)
- En mathématiques, et plus précisément en théorie des ensembles, un cardinal de Ramsey est un type de grand cardinal défini par Paul Erdős et András Hajnal, et nommé ainsi en référence à la théorie de Ramsey. (fr)
- In mathematics, a Ramsey cardinal is a certain kind of large cardinal number introduced by and named after Frank P. Ramsey, whose theorem establishes that ω enjoys a certain property that Ramsey cardinals generalize to the uncountable case. Let [κ]<ω denote the set of all finite subsets of κ. A cardinal number κ is called Ramsey if, for every function f: [κ]<ω → {0, 1} f: [κ]<ω → {0, 1} The existence of any of these kinds of Ramsey cardinal is sufficient to prove the existence of 0#, or indeed that every set with rank less than κ has a sharp. f: [κ]<ω → {0, 1} (en)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - En matematiko, kardinalo preskaŭ de Ramsey estas certa speco de . Formale, kardinalo κ estas kardinalo preskaŭ de Ramsey se kaj nur se por ĉiu funkcio f: [κ] < ω → {0, 1} (kun [κ] < ω signifanta la aron de ĉiuj finiaj subaroj de κ) kaj por ĉiu λ < κ, estas aro de orda speco λ kiu estas por f. (eo)
- In mathematics, a Ramsey cardinal is a certain kind of large cardinal number introduced by and named after Frank P. Ramsey, whose theorem establishes that ω enjoys a certain property that Ramsey cardinals generalize to the uncountable case. Let [κ]<ω denote the set of all finite subsets of κ. A cardinal number κ is called Ramsey if, for every function f: [κ]<ω → {0, 1} there is a set A of cardinality κ that is homogeneous for f. That is, for every n, the function f is constant on the subsets of cardinality n from A. A cardinal κ is called ineffably Ramsey if A can be chosen to be a stationary subset of κ. A cardinal κ is called virtually Ramsey if for every function f: [κ]<ω → {0, 1} there is C, a closed and unbounded subset of κ, so that for every λ in C of uncountable cofinality, there is an unbounded subset of λ that is homogenous for f; slightly weaker is the notion of almost Ramsey where homogenous sets for f are required of order type λ, for every λ < κ. The existence of any of these kinds of Ramsey cardinal is sufficient to prove the existence of 0#, or indeed that every set with rank less than κ has a sharp. Every measurable cardinal is a Ramsey cardinal, and every Ramsey cardinal is a Rowbottom cardinal. A property intermediate in strength between Ramseyness and measurability is existence of a κ-complete normal non-principal ideal I on κ such that for every A ∉ I and for every function f: [κ]<ω → {0, 1} there is a set B ⊂ A not in I that is homogeneous for f. This is strictly stronger than κ being ineffably Ramsey. The existence of a Ramsey cardinal implies the existence of 0# and this in turn implies the falsity of the Axiom of Constructibility of Kurt Gödel. (en)
- En mathématiques, et plus précisément en théorie des ensembles, un cardinal de Ramsey est un type de grand cardinal défini par Paul Erdős et András Hajnal, et nommé ainsi en référence à la théorie de Ramsey. (fr)
|
| 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 | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)