Extender: Difference between revisions
RhubarbJayde (talk | contribs) (Created page with "An extender is a collection of ultrafilters which, when combined, are able to coherently code a single elementary embedding (this can be either a nontrivial elementary embedding between a universe and an inner model, or a cofinal elementary embedding between two models of ZFC minus the powerset axiom). Namely, an extender consists of ultrafilters \(E_a\), where \(a\) is a finite set of ordinals, which cohere in a certain way, so that one is able to take th...") |
RhubarbJayde (talk | contribs) No edit summary |
||
| Line 1: | Line 1: | ||
An extender is a collection of [[Filter|ultrafilters]] which, when combined, are able to coherently code a single elementary embedding (this can be either a nontrivial elementary embedding between a universe and an inner model, or a cofinal elementary embedding between two models of [[ZFC]] minus the powerset axiom). Namely, an extender consists of ultrafilters \(E_a\), where \(a\) is a finite set of ordinals, which cohere in a certain way, so that one is able to take the direct limit of the ultrapowers of the |
An extender is a collection of [[Filter|ultrafilters]] which, when combined, are able to coherently code a single elementary embedding (this can be either a nontrivial elementary embedding between a universe and an inner model, or a cofinal elementary embedding between two models of [[ZFC]] minus the powerset axiom). Namely, an extender consists of ultrafilters \(E_a\), where \(a\) is a finite set of ordinals, which cohere in a certain way, so that one is able to take the direct limit of the ultrapowers with respect to the elements of the extender, and then the transitive collapse of that model. Extenders, or sequences of them, are used to build [[Inner model theory|inner models]] (more precisely, [[Extender model|extender models]]), which possess the fine structure of [[Constructible hierarchy|\(L\)]] yet witness the existence of elementary embeddings of the universe - namely, one starts with \(L\) and then "enriches" the definable powerset operator by allowing a predicate for the set \(\{(a,x): x \in E_a\}\). Therefore the model sees such elementary embeddings and so accommodates measurable, strong, etc. cardinals while still satisfying the [[axiom of choice]]. |
||
Latest revision as of 14:00, 9 September 2023
An extender is a collection of ultrafilters which, when combined, are able to coherently code a single elementary embedding (this can be either a nontrivial elementary embedding between a universe and an inner model, or a cofinal elementary embedding between two models of ZFC minus the powerset axiom). Namely, an extender consists of ultrafilters \(E_a\), where \(a\) is a finite set of ordinals, which cohere in a certain way, so that one is able to take the direct limit of the ultrapowers with respect to the elements of the extender, and then the transitive collapse of that model. Extenders, or sequences of them, are used to build inner models (more precisely, extender models), which possess the fine structure of \(L\) yet witness the existence of elementary embeddings of the universe - namely, one starts with \(L\) and then "enriches" the definable powerset operator by allowing a predicate for the set \(\{(a,x): x \in E_a\}\). Therefore the model sees such elementary embeddings and so accommodates measurable, strong, etc. cardinals while still satisfying the axiom of choice.