THE IMPLICITLY CONSTRUCTIBLE UNIVERSE
We answer several questions posed by Hamkins and Leahy concerning the implicitly constructible universe Imp, which they introduced in [5]. Specifically, we show that it is relatively consistent with ZFC that Imp |= ¬CH, that Imp ≠ HOD, and that Imp |= V ≠ Imp, or in other words, that (Imp)Imp ≠ I...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Cambridge University Press
2019
|
| Subjects: | |
| Online Access: | View Fulltext in Publisher |