论文信息 - Ordinal analysis of simple cases of bar recursion - 字舞流文

Ordinal analysis of simple cases of bar recursion

William A. Howard | W. A. Howard

[1] W. A. Howard,et al. Functional interpretation of bar induction by bar recursion , 1968 .

[2] H. Vogel,et al. Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen , 1978, Arch. Math. Log..