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

MR   Zbl 

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/
@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},
     year = {1980},
     publisher = {Sijthoff et Noordhoff International Publishers},
     volume = {42},
     number = {1},
     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