@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/