Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Z. Adamovicz and T. Bigorajska. Functions provably total in I − Σ 1. Fundamenta mathematicae, 132:189–194, 1989.
2. Z. Adamovicz and R. Kossak. A note on BΣ n and an intermediate induction schema. Zeitschrift f. math. Logik and Grundlagen d. Math., 34:261–264, 1988.
3. L.D. Beklemishev. Notes on local reflection principles. Logic Group Preprint Series 133, University of Utrecht, 1995.
4. L.D. Beklemishev. Induction rules, reflection principles, and provably recursive functions. Logic Group Preprint Series 168, University of Utrecht, 1996. To appear in Annals of Pure and Applied Logic, 1997.
5. L.D. Beklemishev. A proof-theoretic analysis of collection. To appear in Archive for Mathematical Logic.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Theory of Self-Reference;A Concise Introduction to Mathematical Logic;2009-10-27
2. Provability Logic;Handbook of Philosophical Logic