@article{1183736853, author = {Barwise, Jon}, title = {Applications of Strict $\Pi^1\_1$ Predicates to Infinitary Logic}, journal = {J. Symbolic Logic}, volume = {34}, number = {1}, year = {1969}, pages = { 409-423}, language = {en}, url = {http://dml.mathdoc.fr/item/1183736853} }
Barwise, Jon. Applications of Strict $\Pi^1_1$ Predicates to Infinitary Logic. J. Symbolic Logic, Tome 34 (1969) no. 1, pp. 409-423. http://gdmltest.u-ga.fr/item/1183736853/