Author:
Burgess John P.,Hazen A. P.
Reference21 articles.
1. Montagna, F., and A. Mancini, “A minimal predicative set theory,” Notre Dame Journal of Formal Logic, vol. 35 (1994), pp. 186–203. Zbl 0816.03023 MR 95h:03117
2. Nelson, E., Predicative arithmetic, Princeton University Press, Princeton, 1986. Zbl 0617.03002 MR 88c:03061
3. Bezboruah, A., and J. Shepherdson,“Gödel's second incompleteness theorem for Q,” The Journal of Symbolic Logic, vol. 41 (1977), pp. 503–12. Zbl 0328.02017 MR 53:7756
4. Feferman, S., “Systems of predicative analysis,” The Journal of Symbolic Logic, vol. 29 (1964), pp. 1–30. Zbl 0134.01101 MR 33:1228
5. Feferman, S., and G. Hellman,“Predicative foundations of arithmetic,” Journal of Philosophical Logic, vol. 24 (1995), pp. 1–17. Zbl 0816.03030 MR 96b:03077
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献