When is a real generic over $L$?

TL;DR

This paper introduces a new criterion based on elementary embeddings to determine when a real number is generic over the constructible universe L, providing a novel perspective on genericity.

Contribution

The paper presents a novel criterion for real genericity over L using the concept of lifting elementary embeddings of initial segments.

Findings

New criterion for real genericity over L

Connection between elementary embeddings and genericity

Potential applications in set theory and forcing

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