Ordinal analysis of simple cases of bar recursion
暂无分享,去创建一个
[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..