Inter-model reflection principles

We introduce and consider the inner-model reflection principle, which asserts that whenever a statement 𝜑(𝑎) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model 𝑊⊊𝑉. A stronger principle, the ground-model reflection principl...

Descripció completa

Dades bibliogràfiques
Autors principals: Barton, N, Caicedo, AE, Fuchs, G, Hamkins, JD, Reitz, J, Schindler, R
Format: Journal article
Idioma:English
Publicat: Springer 2019

Ítems similars