Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Theoretical Computer Science
Reference31 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. Ann. Pure Appl. Log. 33, 131–155 (1987)
4. Carlucci, L.: A new proof-theoretic proof of the independence of the Kirby-Paris’ Hydra theorem. Theor. Comput. Sci. 300(1–3), 365–378 (2003)
5. Cichon, E.A.: A short proof of two recently discovered independence results using recursion theoretic methods. Proc. Am. Math. Soc. 87(4), 704–706 (1983)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献