G. E. Reyes (1970). Local definability theory. Annals of Math. Logic. Vol.1, No.1,
95-138.
L-Omega one is enough: a reduction theorem for some infinitary languages »
Gonzalo E. Reyes - Marie La Palme Reyes
From mathematics to literature. - Des mathématiques à la littérature.
L-Omega one is enough: a reduction theorem for some infinitary languages »
G. E. Reyes (1970). Local definability theory. Annals of Math. Logic. Vol.1, No.1,
95-138.