Unfolding finitist arithmetic

Review of Symbolic Logic

Volumn 3, Issue 4, 2010, Pages 665-689

  Feferman, Solomon ^a   Strahm, Thomas ^b  

^a STANFORD UNIVERSITY   (United States)

^b UNIVERSITY OF BERN   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 79956130092     PISSN: 17550203     EISSN: 17550211     Source Type: Journal    
DOI: 10.1017/S1755020310000183     Document Type: Article

References (28)

1. Beeson, M. J. (1985). Foundations of Constructive Mathematics: Metamathematical Studies. Berlin, Germany: Springer.
2. Feferman, S. (1975). A language and axioms for explicit mathematics. In Crossley, J., editor. Algebra and Logic, Volume 450 of Lecture Notes in Mathematics. Berlin, Germany: Springer, pp. 87-139.
3. Feferman, S. (1996). Gödel's program for new axioms: Why, where, how and what? In Hájek, P., editor. Gödel '96, Volume 6 of Lecture Notes in Logic. Berlin, Germany: Springer, pp. 3-22.
4. Feferman, S., Baaz, M., Papadimitriou, C. H., Putnam, H., Scott, D., & Harper, C. L., Jr. Lieber Herr Bernays, Lieber Herr Gödel. Gödel on finitism, constructivity and Hilbert's program. In Baaz, M., et al., editor. Horizons of Truth: Logics, Foundations of Mathematics, and the Quest for Understanding the Nature of Knowledge. New York: Cambridge University Press. Reprinted in Dialectica 62 (2008), 179-203.
5. Feferman, S., & Strahm, T. (2000). The unfolding of non-finitist arithmetic. Annals of Pure and Applied Logic, 104(1-3), 75-96.
6. Feferman, S., & Strahm, T. (2001). Unfolding finitist arithmetic (Abstract). Bulletin of Symbolic Logic, 7(1), 111-112.
7. Gödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. Monatshefte für Mathematik und Physik, 38, 173-198.
8. Gödel, K. (1995). In Feferman, S., Dawson, J.W., Jr., Goldfarb,W., Parsons, C.,& Solovay, R. N. Collected Works Vol. III. New York: Oxford University Press.
9. Gödel, K. (2003). In Feferman, S., Dawson, J. W., Jr., Goldfarb, W., Parsons, C., & Sieg, W. Collected Works Vol. IV. Oxford: Clarendon Press.
10. Hilbert, D., & Bernays, P. (1968). Grundlagen der Mathematik (2nd edition), Vol. I. Berlin, Germany: Springer.
11. Hilbert, D., & Bernays, P. (1970). Grundlagen der Mathematik (2nd edition), Vol. II. Berlin, Germany: Springer.
12. Kreisel, G. (1960). Ordinal logics and the characterization of informal concepts of proof. In Todd, J. A., editor. Proceedings International Congress of Mathematicians, 14-21 August 1958. Cambridge: Cambridge University Press, pp. 289-299.
13. Kreisel, G. (1965). Mathematical logic. In Saaty, T. L., editor. Lectures on Modern Mathematics, Vol. 3. New York: Wiley, pp. 95-195.
14. Kreisel, G. (1970). Principles of proof and ordinals implicit in given concepts. In Kino, A., Myhill, J., and Vesley, R. E., editors. Intuitionism and Proof Theory. Amsterdam, The Netherlands: North Holland, pp. 489-516.
15. Mints, G. (1973). Quantifier-free and one-quantifier systems. Journal of Soviet Mathematics, 1, 71-84.
16. Parsons, C. (1970). On a number theoretic choice schema and its relation to induction. In Myhill, J., Kino, A., and Vesley, R., editors. Intuitionism and Proof Theory, Proceedings of the Summer Conference at Buffalo N.Y., 1968. Amsterdam, The Netherlands: North Holland, pp. 459-473.
17. Parsons, C. (1998). Finitism and intuitive knowledge. In Schirn, M., editor. The Philosophy of Mathematics Today. Oxford: Oxford University Press, pp. 249-270.
18. Sieg, W. (1985). Fragments of arithmetic. Annals of Pure and Applied Logic, 28, 33-71.
19. Strahm, T. (2000). The non-constructive μ operator, fixed point theories with ordinals, and the bar rule. Annals of Pure and Applied Logic, 104(1-3), 305-324.
20. Tait, W. (1961). Nested recursion. Mathematische Annalen, 143, 236-250.
21. Tait, W. (1968). Constructive reasoning. In van Rootselaar, B., and Staal, J. F., editors. Logic, Methodology and Philosophy of Science III. Amsterdam, The Netherlands: North Holland, pp. 185-199.
22. Tait, W. (1981). Finitism. Journal of Philosophy, 78, 524-546.
23. Tait, W. (2005). The Provenance of Pure Reason. New York: Oxford University Press.
24. Tait, W. (2006a). Gödel's correspondence on proof theory and constructive mathematics. Philosophia Mathematica (III), 14, 76-111.
25. Tait, W. (2006b). Wellfoundedness of exponentiation. Personal communication.
26. Troelstra, A., & van Dalen, D. (1988). Constructivism in Mathematics, Vol. I. Amsterdam, The Netherlands: North-Holland.
27. Zach, R. (2003). Hilbert's Program. Stanford Encyclopedia of Philosophy. Available from: Http://plato.stanford.edu/entries/hilbert-program/.
28. Zach, R. (2006). Hilbert's program then and now. In Jacquette, D., editor. Philosophy of Logic, Volume 5 of Handbook of the Philosophy of Science. Amsterdam, The Netherlands: Elsevier, pp. 411-447.