On Moschovakis closure ordinals, (1977)

by J Barwise
Venue:Journal of Symbolic Logic,