Extender: Difference between revisions
Jump to navigation
Jump to search
no edit summary
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:
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
|