When is a real generic over L?

DOI10.1002/MALQ.202100012zbMATH Open1521.03188arXiv1809.03269OpenAlexW3212473676MaRDI QIDQ6094130FDOQ6094130

Authors: Fabiana Castiblanco, Ralf Schindler 

Publication date: 12 September 2023

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

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$.

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

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

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)

Cites Work

• Set theory. Exploring independence and truth
• Characterization of generic extensions of models of set theory
• The extender algebra and vagaries of \(\Sigma^2_1\) absoluteness
• Preserving levels of projective determinacy by tree forcings
• 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)