inner model
C17004
concept
An inner model is a transitive class containing all ordinals that satisfies the axioms of set theory (typically ZF or ZFC) and is used to analyze the structure and consistency strength of the universe of sets.
All labels observed (1)
| Label | Occurrences |
|---|---|
| inner model canonical | 1 |
Instances (1)
| Instance | Via concept surface |
|---|---|
| constructible universe | — |