@article{1183527953,
author = {Feferman, S.},
title = {Predicative provability in set theory},
journal = {Bull. Amer. Math. Soc.},
volume = {72},
number = {4},
year = {1966},
pages = { 486-489},
language = {en},
url = {http://dml.mathdoc.fr/item/1183527953}
}
Feferman, S. Predicative provability in set theory. Bull. Amer. Math. Soc., Tome 72 (1966) no. 4, pp. 486-489. http://gdmltest.u-ga.fr/item/1183527953/