G. E. Reyes (1970). Local definability theory. Annals of Math. Logic. Vol.1, No.1,
95-138.

Advertisements