http://dbpedia.org/ontology/abstract
|
In mathematics, an iterable cardinal is a … In mathematics, an iterable cardinal is a type of large cardinal introduced by Gitman, and Sharpe and Welch, and further studied by Gitman and Welch. Sharpe and Welch defined a cardinal κ to be iterable if every subset of κ is contained in a weak κ-model M for which there exists an M-ultrafilter on κ which allows for wellfounded iterations by ultrapowers of arbitrary length.Gitman gave a finer notion, where a cardinal κ is defined to be α-iterableif ultrapower iterations only of length α are required to wellfounded. (By standard arguments iterability is equivalent to ω1-iterability.)rability is equivalent to ω1-iterability.)
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://boolesrings.org/victoriagitman/files/2013/06/ramseydiagram.jpg +
|
http://dbpedia.org/ontology/wikiPageID
|
46316193
|
http://dbpedia.org/ontology/wikiPageLength
|
1736
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1117467193
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Large_cardinal +
, http://dbpedia.org/resource/Category:Large_cardinals +
, http://dbpedia.org/resource/Ultrafilter +
, http://dbpedia.org/resource/Mathematics +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Settheory-stub +
, http://dbpedia.org/resource/Template:Harvs +
, http://dbpedia.org/resource/Template:Citation +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Large_cardinals +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Cardinal +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Iterable_cardinal?oldid=1117467193&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Iterable_cardinal +
|
owl:sameAs |
http://yago-knowledge.org/resource/Iterable_cardinal +
, http://rdf.freebase.com/ns/m.0131xw83 +
, http://dbpedia.org/resource/Iterable_cardinal +
, https://global.dbpedia.org/id/2Mmed +
, http://www.wikidata.org/entity/Q25098857 +
|
rdf:type |
http://dbpedia.org/ontology/Cardinal +
|
rdfs:comment |
In mathematics, an iterable cardinal is a … In mathematics, an iterable cardinal is a type of large cardinal introduced by Gitman, and Sharpe and Welch, and further studied by Gitman and Welch. Sharpe and Welch defined a cardinal κ to be iterable if every subset of κ is contained in a weak κ-model M for which there exists an M-ultrafilter on κ which allows for wellfounded iterations by ultrapowers of arbitrary length.Gitman gave a finer notion, where a cardinal κ is defined to be α-iterableif ultrapower iterations only of length α are required to wellfounded. (By standard arguments iterability is equivalent to ω1-iterability.)rability is equivalent to ω1-iterability.)
|
rdfs:label |
Iterable cardinal
|