An inner model is a transitive proper class substructure of the universe of sets, that satisfies $\mathsf{ZF}(\mathsf{C})$.
An inner model is a transitive proper class substructure of the universe of sets, that satisfies $\mathsf{ZF}(\mathsf{C})$.
For canonical inner models, use instead the tag inner-model-theory.
|
created |
11 years, 2 months ago |
|
viewed |
8 times |
|
active |
10 years, 6 months ago |
|
editors |
1 |
