-
M. J. Groszek and J. D. Hamkins, “The implicitly constructible universe,” Journal of Symbolic Logic, vol. 84, iss. 4, p. 1403–1421, 2019.
[Bibtex]@ARTICLE{GroszekHamkins2019:The-implicitly-constructible-universe, AUTHOR = {Groszek, Marcia J. and Hamkins, Joel David}, TITLE = {The implicitly constructible universe}, JOURNAL = {Journal of Symbolic Logic}, FJOURNAL = {The Journal of Symbolic Logic}, VOLUME = {84}, YEAR = {2019}, NUMBER = {4}, PAGES = {1403--1421}, ISSN = {0022-4812}, MRCLASS = {03E35 (03E45)}, MRNUMBER = {4045982}, DOI = {10.1017/jsl.2018.57}, eprint = {1702.07947}, archivePrefix = {arXiv}, primaryClass = {math.LO}, url = {http://jdh.hamkins.org/the-implicitly-constructible-universe}, }
Abstract. We answer several questions posed by Hamkins and Leahy concerning the implicitly constructible universe $\newcommand\Imp{\text{Imp}}\Imp$, which they introduced in their paper, Algebraicity and implicit definability in set theory. Specifically, we show that it is relatively consistent with ZFC that $\Imp \models \neg \text{CH}$, that $\Imp \neq \text{HOD}$, and that $\Imp \models V \neq \Imp$, or in other words, that $(\Imp)^{\Imp} \neq \Imp$.