extender (Q5421908)
Jump to navigation
Jump to search
in set theory, a system of ultrafilters representing an elementary embedding witnessing large cardinal properties
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | extender |
in set theory, a system of ultrafilters representing an elementary embedding witnessing large cardinal properties |
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Extender (set theory)