Inner Model Theory

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Inner Model Theory.

• Mouse (set theory) — A small iterable fine-structural model equipped with extender data, used to approximate large-cardinal universes and build core models.