@article{1183736849, author = {Friedman, Harvey}, title = {Bar Induction and $\Pi^1\_1-CA^1$}, journal = {J. Symbolic Logic}, volume = {34}, number = {1}, year = {1969}, pages = { 353-362}, language = {en}, url = {http://dml.mathdoc.fr/item/1183736849} }
Friedman, Harvey. Bar Induction and $\Pi^1_1-CA^1$. J. Symbolic Logic, Tome 34 (1969) no. 1, pp. 353-362. http://gdmltest.u-ga.fr/item/1183736849/