The fine structure of the constructible hierarchy (1972)

by R Jensen
Venue:Ann. Math. Logic