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.

Advertisements