Global inductive definability (1978)

by J Barwise, Y Moschovakis
Venue:The Journal of Symbolic Logic