zbMATH — the first resource for mathematics

Ordinal analysis of simple cases of bar recursion. (English) Zbl 0463.03031

03F10 Functionals in proof theory
03F15 Recursive ordinals and ordinal notations
Full Text: DOI
[1] DOI: 10.1007/BF02011875 · Zbl 0418.03010 · doi:10.1007/BF02011875
[2] Note on the fan theorem 39 pp 584– (1974)
[3] Compositio Mathematica 20 pp 107– (1968)
[4] Transfinite induction and bar induction of types zero and one, the role of continuity in intuitionistic analysis 31 pp 325– (1966) · Zbl 0156.00804
[5] Ordinal analysis of terms of finite type 45 pp 493– (1980) · Zbl 0444.03029
[6] Proof theory (1977)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.