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

https://www.sciencedirect.com/science/article/pii/S0003484370800067

Local Definability Theory