THE IMPLICITLY CONSTRUCTIBLE UNIVERSE

DOI10.1017/JSL.2018.57zbMath1444.03145arXiv1702.07947OpenAlexW2996805534WikidataQ127774880 ScholiaQ127774880MaRDI QIDQ5207559

Joel David Hamkins, Marcia J. Groszek

Publication date: 10 January 2020

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

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

zbMATH Keywords

inner modelsHODimplicitly constructible universe

Mathematics Subject Classification ID

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

Related Items (1)

On Russell typicality in set theory

Cites Work

• Unnamed Item
• Algebraicity and implicit definability in set theory
• Applications of iterated perfect set forcing
• [https://portal.mardi4nfdi.de/wiki/Publication:3328537 A Minimal Model for � CH: Iteration of Jensen's Reals]
• Iterated perfect-set forcing
• Generalized Iteration of Forcing

This page was built for publication: THE IMPLICITLY CONSTRUCTIBLE UNIVERSE