Geodesic
Ordinal analysis of bar recursion of type zero
Compositio Mathematica, Tome 42 (1980) no. 1, pp. 105-119

Voir la notice de l'article provenant de la source Numdam

@article{CM_1980__42_1_105_0,
     author = {Howard, W. A.},
     title = {Ordinal analysis of bar recursion of type zero},
     journal = {Compositio Mathematica},
     pages = {105--119},
     publisher = {Sijthoff et Noordhoff International Publishers},
     volume = {42},
     number = {1},
     year = {1980},
     mrnumber = {594485},
     zbl = {0444.03030},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CM_1980__42_1_105_0/}
}
TY  - JOUR
AU  - Howard, W. A.
TI  - Ordinal analysis of bar recursion of type zero
JO  - Compositio Mathematica
PY  - 1980
SP  - 105
EP  - 119
VL  - 42
IS  - 1
PB  - Sijthoff et Noordhoff International Publishers
UR  - http://geodesic.mathdoc.fr/item/CM_1980__42_1_105_0/
LA  - en
ID  - CM_1980__42_1_105_0
ER  - 
%0 Journal Article
%A Howard, W. A.
%T Ordinal analysis of bar recursion of type zero
%J Compositio Mathematica
%D 1980
%P 105-119
%V 42
%N 1
%I Sijthoff et Noordhoff International Publishers
%U http://geodesic.mathdoc.fr/item/CM_1980__42_1_105_0/
%G en
%F CM_1980__42_1_105_0
Howard, W. A. Ordinal analysis of bar recursion of type zero. Compositio Mathematica, Tome 42 (1980) no. 1, pp. 105-119. http://geodesic.mathdoc.fr/item/CM_1980__42_1_105_0/