@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}, zbl = {0444.03030}, mrnumber = {594485}, language = {en}, url = {http://archive.numdam.org/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 DA - 1980/// SP - 105 EP - 119 VL - 42 IS - 1 PB - Sijthoff et Noordhoff International Publishers UR - http://archive.numdam.org/item/CM_1980__42_1_105_0/ UR - https://zbmath.org/?q=an%3A0444.03030 UR - https://www.ams.org/mathscinet-getitem?mr=594485 LA - en ID - CM_1980__42_1_105_0 ER -
Howard, W. A. Ordinal analysis of bar recursion of type zero. Compositio Mathematica, Volume 42 (1980) no. 1, pp. 105-119. http://archive.numdam.org/item/CM_1980__42_1_105_0/
[1] An extension of Schütte's Klammersymbols. Mathematische Annalen, 174 (1967), 203-216. | MR | Zbl
:[2] Brouwer's bar theorem and a system of ordinal notations. Proceedings of the Summer Conference on Intuitionism and Proof Theory. North-Holland, Amsterdam, 1970. | MR | Zbl
,[3] Functional interpretation of bar induction by bar recursion. Compositio Mathematica 20 (1968) 107--124. | Numdam | MR | Zbl
,[4] A system of abstract ordinals. Journal of Symbolic Logic, 37 (1972) 355-374. | MR | Zbl
,[5] Ordinal analysis of terms of finite type, (to appear). | MR | Zbl
,[6] Ordinal analysis of simple cases of bar recursion, (to appear). | MR | Zbl
,[7] Über die mit dem Bar-Rekursor vom Type 0 definierbaren Ordinalzahlen. Archiv für Mathematische Logik und Grundlagenforschung 19 (1978) 139-156. | MR | Zbl
,