Reference16 articles.
1. Bennett, J. H., On spectra, Ph.D. Dissertation, Princeton University, Princeton, 1962.
2. Berarducci A., and M. Otero, “Recursive model of normal open induction,” The Journal of Symbolic Logic, vol. 61 (1996), pp. 1228–41. Zbl 0870.03025
3. Berarducci, A., and B. Intrigila, “Combinatorial principles in elementary number theory,” Annals of Pure and Applied Logic, vol. 55 (1991), pp. 35–50. Zbl 0747.03025 MR 92j:03051
4. Buss, S. R., Bounded Arithmetic, Bibliopolis, Naples, 1986 Zbl 0649.03042 MR 89h:03104
5. D'Aquino, P., “Pell equations and fragments of arithmetic,” Annals of Pure and Applied Logic, vol. 77 (1996), pp. 1–34. Zbl 0855.03034 MR 97a:03066
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Misalignment: Corporate Risk-Taking and Public Duty;SSRN Electronic Journal;2015
2. Tennenbaum's Theorem and Unary Functions;Notre Dame Journal of Formal Logic;2008-04-01
3. Computational Structuralism†;Philosophia Mathematica;2005-06-01