Review: E. G. K. Lopez-Escobar, An Interpolation Theorem for Denumerably Long Formulas; E. G. K. Lopez-Escobar, Universal Formulas in the Infinitary Language $L_{\alpha \beta}$
Engeler, Erwin
J. Symbolic Logic, Tome 34 (1969) no. 1, p. 301-302 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1969-06-14
Classification:  
@article{1183736794,
     author = {Engeler, Erwin},
     title = {Review: E. G. K. Lopez-Escobar, An Interpolation Theorem for Denumerably Long Formulas; E. G. K. Lopez-Escobar, Universal Formulas in the Infinitary Language $L\_{\alpha \beta}$},
     journal = {J. Symbolic Logic},
     volume = {34},
     number = {1},
     year = {1969},
     pages = { 301-302},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183736794}
}

Engeler, Erwin. Review: E. G. K. Lopez-Escobar, An Interpolation Theorem for Denumerably Long Formulas; E. G. K. Lopez-Escobar, Universal Formulas in the Infinitary Language $L_{\alpha \beta}$. J. Symbolic Logic, Tome 34 (1969) no. 1, pp.  301-302. http://gdmltest.u-ga.fr/item/1183736794/