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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính: Barton, N, Caicedo, AE, Fuchs, G, Hamkins, JD, Reitz, J, Schindler, R
Định dạng: Journal article
Ngôn ngữ:English
Được phát hành: Springer 2019

Những quyển sách tương tự