Article contents
THE IMPLICITLY CONSTRUCTIBLE UNIVERSE
Published online by Cambridge University Press: 10 June 2019
Abstract
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 = \neg {\rm{CH}}$$, that $Imp \ne {\rm{HOD}}$, and that $$Imp \models V \ne Imp$$, or in other words, that $\left( {Imp} \right)^{Imp} \ne Imp$.
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2019
References
REFERENCES
- 3
- Cited by