The implicitly constructible universe

DOI10.1017/JSL.2018.57MaRDI QIDQ5207559zbMATH OpenOpenAlexWikidataFDO

Authors Joel David Hamkins, Marcia Groszek

Publication date 10 January 2020

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1702.07947

zbMATH Keywords

HODimplicitly constructible universeinner models

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45)

Abstract: We answer several questions posed by Hamkins and Leahy concerning the implicitly constructible universe, Imp. Specifically, we show that it is relatively consistent with ZFC that Imp satisfies the negation of CH, that Imp is not HOD, and that Imp satisfies V $eq$ Imp, or in other words, that $(Imp{)}^{Imp}eqImp$.

Recommendations

• Algebraicity and implicit definability in set theory
• Internal Consistency and the Inner Model Hypothesis
• On the consistency strength of the inner model hypothesis
• Foundational implications of the inner model hypothesis
• The ground axiom is consistent with V \neq HOD

Cites work

• A Minimal Model for � CH: Iteration of Jensen's Reals
• Algebraicity and implicit definability in set theory
• Applications of iterated perfect set forcing
• Generalized Iteration of Forcing
• scientific article; zbMATH DE number 3358471 (Why is no real title available?)
• Iterated perfect-set forcing

Cited in

(7)

• A general construction of hyperuniverses
• Algebraicity and implicit definability in set theory
• scientific article; zbMATH DE number 5862936 (Why is no real title available?)
• A Computational Approach to an Alternative Working Environment for the Constructible Universe
• A MULTIVERSE PERSPECTIVE ON THE AXIOM OF CONSTRUCTIBILITY
• On Russell typicality in set theory
• The breadth of constructibility degrees and definable Sierpiński's coverings

This page was built for publication: The implicitly constructible universe

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5207559)