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...

Olles dieđut

Bibliográfalaš dieđut
Váldodahkkit: Barton, N, Caicedo, AE, Fuchs, G, Hamkins, JD, Reitz, J, Schindler, R
Materiálatiipa: Journal article
Giella:English
Almmustuhtton: Springer 2019