Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Lecture Notes in Logic;J. Avigad,2002
2. Beklemishev, L.D.: The worm principle. Technical Report 219, Department of Philosophy, University of Utrecht, Logic Group Preprint Series (2003)
3. Buchholz, W.: An independence result for (Π
1
1− CA) + BI. Annals of Pure and Applied Logic 33, 131–155 (1987)
4. Carlucci, L.: A new proof-theoretic proof of the independence of the Kirby-Paris’ Hydra theorem. Theoretical Computer Science 300(1–3), 365–378 (2003)
5. Cichon, E.A.: A short proof of two recently discovered independence results using recursion theoretic methods. Proceedings of the American Mathematical Society 87(4), 704–706 (1983)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Hydra Battle Revisited;Rewriting, Computation and Proof