Publisher
Springer Science and Business Media LLC
Reference14 articles.
1. Lect. Note Math. 897;W. Buchholz,1981
2. Buchhol z, W.: A new system of proof-theoretic ordinal functions. Ann. Pure Appl. Logic32, 195–207 (1986)
3. Buchholz, W.: An independence result for (II 1 1 -CA) + BI. Ann. Pure Appl. Logic33, 131–155 (1987)
4. Buchholz, W., Feferman, S., Pohlers, W., Sieg, W.: Iterated inductive definitions and subsystems of analysis. Springer LNM #897 (1981)
5. Buchholz, W., Schütte, K.: Proof theory of impredicative subsystems of analysis. Studies in Proof Theory. Bibliopolis, 1988
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献