Inner Models of Univalence
From MaRDI portal
Publication:5145271
Recommendations
- The category of inner models
- Deconstructing inner model theory
- An outline of inner model theory
- Model-theoretic aspects of unification
- scientific article; zbMATH DE number 4141899
- Inner Model Operators and the Continuum Hypothesis
- Beginning inner model theory
- Unirationality and existence of infinitely transitive models
- Fine structure for tame inner models
- scientific article; zbMATH DE number 1534570
This page was built for publication: Inner Models of Univalence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145271)