A characterization of lifting generics for Sacks-like forcings

Abstract

This article gives a uniform characterization of generics which are used in the context of liftings of elementary embeddings for the generalized Sacks forcing, and variations thereof.

Keywords

• lifting
• generalized Sacks forcing