Year: 2019
Type: article
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$ .
Source: Journal of Symbolic Logic
DOI: 10.1017/jsl.2018.57
Authors: MARCIA J. GROSZEK, JOEL DAVID HAMKINS
Institutions: Dartmouth College, University of Oxford, University College London
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2593637494