@article{1183739941,
author = {Grant, Philip W.},
title = {Strict-$\Pi^1\_1$ Predicates on Countable and Cofinality $\omega$ Transitive Sets},
journal = {J. Symbolic Logic},
volume = {42},
number = {1},
year = {1977},
pages = { 161-173},
language = {en},
url = {http://dml.mathdoc.fr/item/1183739941}
}
Grant, Philip W. Strict-$\Pi^1_1$ Predicates on Countable and Cofinality $\omega$ Transitive Sets. J. Symbolic Logic, Tome 42 (1977) no. 1, pp. 161-173. http://gdmltest.u-ga.fr/item/1183739941/