When is a real generic over L?

DOI10.1002/MALQ.202100012MaRDI QIDQ6094130zbMATH OpenOpenAlexFDO

Authors Fabiana Castiblanco, Ralf Schindler

Publication date 12 September 2023

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)

Abstract: In this paper we isolate a new criterion for when a given real $x$ is generic over $L$ in terms of $x$'s capability of lifting elementary embeddings of initial segments of $L$.

Recommendations

• The genericity conjecture
• On the Existence and Recursion Theoretic Properties of ∑n1-Generic Sets of Reals
• scientific article; zbMATH DE number 3884144
• A non-generic real incompatible with \(0^\sharp\)
• Every 1-generic computes a properly 1-generic

Cites work

• Characterization of generic extensions of models of set theory
• Preserving levels of projective determinacy by tree forcings
• Set theory. Exploring independence and truth
• The extender algebra and vagaries of \(\Sigma^2_1\) absoluteness
• The extender algebra and Σ21-absoluteness

This page was built for publication: When is a real generic over L?

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