G. E. Reyes (1972). L-Omega one omega is enough: a reduction theorem for some
infinitary languages. Journal of Symb. Logic. Vol.37, No.4, 705-710.
« Local definability theory • A travers la dimension zéro »
Gonzalo E. Reyes - Marie La Palme Reyes
From mathematics to literature. - Des mathématiques à la littérature.
« Local definability theory • A travers la dimension zéro »
G. E. Reyes (1972). L-Omega one omega is enough: a reduction theorem for some
infinitary languages. Journal of Symb. Logic. Vol.37, No.4, 705-710.