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

詳細記述

書誌詳細
主要な著者: Barton, N, Caicedo, AE, Fuchs, G, Hamkins, JD, Reitz, J, Schindler, R
フォーマット: Journal article
言語:English
出版事項: Springer 2019