A characterization of lifting generics for Sacks-like forcings. (English) Zbl 1236.03035

Summary: The article gives a uniform characterization of generics that are used in the context of liftings of elementary embeddings for the generalized Sacks forcing, and variations thereof. It applies to the majority of arguments using such forcings providing that the trees are required to be singular-splitting, i.e., no splitting at regular levels. The use of singular-splitting trees eliminates the necessity to choose a generic branch from the “tuning fork” object defined in [S.-D. Friedman and K. Thompson, J. Symb. Log. 73, No. 3, 906–918 (2008; Zbl 1160.03035)].


03E35 Consistency and independence results
03E55 Large cardinals


Zbl 1160.03035
Full Text: Link