bn:01741226n
Noun Concept
JA
No term available
EN
In set theory, an extender is a system of ultrafilters which represents an elementary embedding witnessing large cardinal properties. Wikipedia
English:
set theory
Relations
Sources