Author:
GROSZEK MARCIA J.,HAMKINS JOEL DAVID
Abstract
AbstractWe 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$.
Publisher
Cambridge University Press (CUP)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献