| dbo:abstract |
In mathematics, a Q-indescribable cardinal is a certain kind of large cardinal number that is hard to describe in some language Q. There are many different types of indescribable cardinals corresponding to different choices of languages Q. They were introduced by . A cardinal number κ is called Πnm-indescribable if for every Πm proposition φ, and set A ⊆ Vκ with (Vκ+n, ∈, A) ⊧ φ there exists an α < κ with (Vα+n, ∈, A ∩ Vα) ⊧ φ.Here one looks at formulas with m-1 alternations of quantifiers with the outermost quantifier being universal. Σnm-indescribable cardinals are defined in a similar way. The idea is that κ cannot be distinguished (looking from below) from smaller cardinals by any formula of n+1-th order logic with m-1 alternations of quantifiers even with the advantage of an extra unary predicate symbol (for A). This implies that it is large because it means that there must be many smaller cardinals with similar properties. The cardinal number κ is called totally indescribable if it is Πnm-indescribable for all positive integers m and n. If α is an ordinal, the cardinal number κ is called α-indescribable if for every formula φ and every subset U of Vκ such that φ(U) holds in Vκ+α there is a some λ<κ such that φ(U ∩ Vλ) holds in Vλ+α. If α is infinite then α-indescribable ordinals are totally indescribable, and if α is finite they are the same as Παω-indescribable ordinals. α-indescribability implies that α<κ, but there is an alternative notion of shrewd cardinals that makes sense when α≥κ: there is λ<κ and β such that φ(U ∩ Vλ) holds in Vλ+β. (en) |
| dbo:wikiPageID |
248097 (xsd:integer) |
| dbo:wikiPageLength |
4969 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1094090749 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Constructible_universe dbr:Mathematics dbr:Notices_of_the_American_Mathematical_Society dbr:Large_cardinal dbr:Weakly_compact_cardinal dbr:Axiom_of_choice dbr:Axiom_of_constructibility dbc:Large_cardinals dbr:Shrewd_cardinal |
| dbp:b |
1 (xsd:integer) 2 (xsd:integer) m (en) n (en) n+1 (en) ω (en) |
| dbp:p |
0 (xsd:integer) 1 (xsd:integer) 2 (xsd:integer) m (en) n (en) α (en) |
| dbp:wikiPageUsesTemplate |
dbt:Citation dbt:Citations dbt:Cite_book dbt:Harvtxt dbt:Reflist dbt:Short_description dbt:Su |
| dct:subject |
dbc:Large_cardinals |
| gold:hypernym |
dbr:Kind |
| rdf:type |
yago:WikicatLargeCardinals yago:Bishop109857200 yago:Cardinal109894143 yago:CausalAgent100007347 yago:Clergyman109927451 yago:Leader109623038 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:Priest110470779 yago:YagoLegalActor yago:YagoLegalActorGeo yago:SpiritualLeader109505153 yago:Whole100003553 |
| rdfs:comment |
In mathematics, a Q-indescribable cardinal is a certain kind of large cardinal number that is hard to describe in some language Q. There are many different types of indescribable cardinals corresponding to different choices of languages Q. They were introduced by . The cardinal number κ is called totally indescribable if it is Πnm-indescribable for all positive integers m and n. (en) |
| rdfs:label |
Indescribable cardinal (en) |
| owl:sameAs |
freebase:Indescribable cardinal yago-res:Indescribable cardinal wikidata:Indescribable cardinal https://global.dbpedia.org/id/gosj |
| prov:wasDerivedFrom |
wikipedia-en:Indescribable_cardinal?oldid=1094090749&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Indescribable_cardinal |
| is dbo:wikiPageDisambiguates of |
dbr:Indescribable |
| is dbo:wikiPageRedirects of |
dbr:Totally_indescribable_cardinal |
| is dbo:wikiPageWikiLink of |
dbr:Totally_indescribable_cardinal dbr:Beta-model dbr:List_of_large_cardinal_properties dbr:Strong_cardinal dbr:Ordinal_collapsing_function dbr:Glossary_of_set_theory dbr:Large_countable_ordinal dbr:Indescribable dbr:Shrewd_cardinal dbr:The_Higher_Infinite |
| is foaf:primaryTopic of |
wikipedia-en:Indescribable_cardinal |