fine structure and class forcing de gruyter serie
and methods are integral to understanding the behavior of models under class forcing. Levels of the Constructible Hierarchy Standard Levels (Lα): Built via definability, with each level constructed as the collection of sets definable over the previous. Projecta and Sound