http://dbpedia.org/ontology/abstract
|
In mathematical set theory, the Mitchell o … In mathematical set theory, the Mitchell order is a well-founded preorder on the set of normal measures on a measurable cardinal κ. It is named for . We say that M ◅ N (this is a strict order) if M is in the ultrapower model defined by N. Intuitively, this means that M is a weaker measure than N (note, for example, that κ will still be measurable in the ultrapower for N, since M is a measure on it). In fact, the Mitchell order can be defined on the set (or proper class, as the case may be) of extenders for κ; but if it is so defined it may fail to be transitive, or even well-founded, provided κ has sufficiently strong large cardinal properties. Well-foundedness fails specifically for rank-into-rank extenders; but Itay Neeman showed in 2004 that it holds for all weaker types of extender. The Mitchell rank of a measure is the order type of its predecessors under ◅; since ◅ is well-founded this is always an ordinal. A cardinal that has measures of Mitchell rank α for each α < β is said to be β-measurable. each α < β is said to be β-measurable.
|
http://dbpedia.org/ontology/wikiPageID
|
29768842
|
http://dbpedia.org/ontology/wikiPageLength
|
2382
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1106810380
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Strict_order +
, http://dbpedia.org/resource/Measurable_cardinal +
, http://dbpedia.org/resource/Category:Measures_%28set_theory%29 +
, http://dbpedia.org/resource/Proper_class +
, http://dbpedia.org/resource/Preorder +
, http://dbpedia.org/resource/Large_cardinal +
, http://dbpedia.org/resource/Transitive_relation +
, http://dbpedia.org/resource/Well-founded +
, http://dbpedia.org/resource/The_Higher_Infinite +
, http://dbpedia.org/resource/Itay_Neeman +
, http://dbpedia.org/resource/Rank-into-rank +
, http://dbpedia.org/resource/John_R._Steel +
, http://dbpedia.org/resource/Donald_A._Martin +
, http://dbpedia.org/resource/Journal_of_Symbolic_Logic +
, http://dbpedia.org/resource/William_Mitchell_%28mathematician%29 +
, http://dbpedia.org/resource/Normal_measure +
, http://dbpedia.org/resource/Journal_of_the_American_Mathematical_Society +
, http://dbpedia.org/resource/Akihiro_Kanamori +
, http://dbpedia.org/resource/Extender_%28set_theory%29 +
, http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/Ultrapower +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Cite_journal +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Measures_%28set_theory%29 +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Preorder +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Mitchell_order?oldid=1106810380&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Mitchell_order +
|
owl:sameAs |
http://dbpedia.org/resource/Mitchell_order +
, http://www.wikidata.org/entity/Q6881463 +
, https://global.dbpedia.org/id/4rtxB +
, http://rdf.freebase.com/ns/m.0fq2mb9 +
|
rdfs:comment |
In mathematical set theory, the Mitchell o … In mathematical set theory, the Mitchell order is a well-founded preorder on the set of normal measures on a measurable cardinal κ. It is named for . We say that M ◅ N (this is a strict order) if M is in the ultrapower model defined by N. Intuitively, this means that M is a weaker measure than N (note, for example, that κ will still be measurable in the ultrapower for N, since M is a measure on it). The Mitchell rank of a measure is the order type of its predecessors under ◅; since ◅ is well-founded this is always an ordinal.is well-founded this is always an ordinal.
|
rdfs:label |
Mitchell order
|