When is a real generic over $L$?

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

4 pages