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...
| Հիմնական հեղինակներ: | , , , , , |
|---|---|
| Ձևաչափ: | Journal article |
| Լեզու: | English |
| Հրապարակվել է: |
Springer
2019
|