You are currently browsing the tag archive for the ‘Infinitary languages’ tag.

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.

L-Omega one 1

L-Omega one 2

L-Omega one 3

L-Omega one 4

L-Omega one 5

L-Omega one 6