Journal title
JOURNAL OF SYMBOLIC LOGIC
DOI
10.1017/jsl.2018.57
Issue
4
Volume
84
Last updated
2021-10-19T13:23:49.047+01:00
Page
1403-1421
Abstract
© The Association for Symbolic Logic 2019. 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, CH, that Imp HOD, and that Imp V Imp, or in other words, that (Imp)Imp Imp.
Symplectic ID
1086550
Download URL
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000504566200006&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=4fd6f7d59a501f9b8bac2be37914c43e
Submitted to ORA
Off
Publication type
Journal Article
Publication date
December 2019