The fine structure of the constructible hierarchy (1972)

by R B Jensen
Venue:Ann. Math. Logic