On Moschovakis closure ordinals (1977)

by Jon Barwise
Venue:Journal of Symbolic Logic