Page history
Jump to navigation
Jump to search
9 September 2023
RhubarbJayde
no edit summary
+132
RhubarbJayde
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..."
+1,049