Skip to main content
SpringerLink
Log in

Foundations for analysis and proof theory

  • Published:
Synthese Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  • Bernays, P.: 1922A, ‘Über Hilberts Gedanken zur Grundlegung der Arithmetik’, Jahresbericht DMV 31, 10–19.

    Google Scholar 

  • Bernays, P.: 1922B, ‘Die Bedeutung Hilberts für die Philosophie der Mathematik’, Die Naturwissenschaften, Heft 4, 93–99.

  • Bernays, P.: 1930, ‘Die Philosophie der Mathematik und die Hilbertsche Beweistheorie’, in Abhandlungen zur Philosophie der Mathematik; see Bernays, 1976, pp. 17–61.

  • Bernays, P.: 1935, ‘Hilberts Untersuchungen über die Grundlagen der Arithmetik’, in Gesammelte Abhandlungen; see Hilbert, 1935, pp. 196–216.

  • Bernays, P.: 1950, ‘Mathematische Existenz und Widerspruchsfreiheit’, in Abhandlungen zur Philosophie der Mathematik; See Bernays, 1976, pp. 92–106.

  • Bernays, P.: 1967, ‘David Hilbert’, in P. Edwards (ed.), The Encyclopedia of Philosophy III, New York, pp. 496–504.

  • Bernays, P.: 1976, Abhandlungen zur Philosophie der Mathematik, Darmstadt.

  • Bernays, P.: 1978, ‘Bemerkungen zu Lorenzens Stellungnahme in der Philosophie der Mathematik’, in K. Lorenz (ed.), Konstruktionen versus Positionen, Berlin, pp. 3–16.

  • Borel, E.: 1914, Lecons sur la théorie des fonctions, Deuxième édition, Paris.

  • Brouwer, L. E. J.: 1927, ‘Über Definitionsbereiche von Funktionen’, in J. van Heijenoort (ed.), From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931, Harvard University Press, Cambridge, pp. 446–463.

    Google Scholar 

  • Buchholz, W., S. Feferman, W. Pohlers, W. Sieg: 1981, ‘Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies’, Springer Lecture Notes in Mathematics 897, Berlin, Heidelberg, New York.

  • Dedekind, R.: 1932, Gesammelte Mathematische Werke (Bd. III), Braunschweig.

  • Feferman, S.: 1964, ‘Systems of Predicative Analysis’, Journal of Symbolic Logic 29, 1–30. Reprinted in J. Hintikka (ed.): 1969, The Philosophy of Mathematics, Oxford, pp. 95–127.

  • Feferman, S.: 1970, ‘Formal Theories for Transfinite Iterations of Generalized Inductive Definitions and Some Subsystems of Analysis’, in Kino, Myhill, and Vesley (eds.), Intuitionism and Proof Theory, Amsterdam, London, pp. 303–325.

  • Feferman, S.: 1977, ‘Theories of Finite Type Related to Mathematical Practice’, in J. Barwise (ed.), Handbook of Mathematical Logic, Amsterdam, pp. 913–971.

  • Feferman, S: 1978, ‘A More Perspicuous Formal System for Predicativity’, in K. Lorenz (ed.), Konstruktionen Versus Positionen, Berlin, pp. 68–93.

  • Feferman, S. and W. Sieg: 1981, ‘Iterated Inductive Definitions and Subsystems of Analysis’, in W. Buchholz, S. Feferman, W. Pohlers, and W. Sieg, ‘Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies’, Springer Lecture Notes in Mathematics 897, Berlin, Heidelberg, New York, pp. 16–77.

  • Friedman, H.: 1970, ‘Iterated Inductive Definitions and σ1/2-AC’, Kino, Myhill, and Vesley (eds.), Intuitionism and Proof Theory, Amsterdam, London, pp. 435–442.

  • Friedman, H.: 1976, ‘The Arithmetic Theory of Sets and Functions I’, (mimeographed).

  • Gandy, R. O.: 1973, ‘Bertrand Russell, as Mathematician’, Bulletin of the London Mathematical Society 5 pp. 342–348.

    Google Scholar 

  • Gauss, K. F. and F. W. Bessel: 1880, Briefwechsel, Leipzig.

  • Gentzen, G.: 1934/5, ‘Untersuchungen über das logische Schließen I, II’, Math. Zeitschrift 39, 176–210, 405–431.

    Google Scholar 

  • Gödel, K.: 1931, ‘Über formal unentscheidbare Sätze der Principia Mathematica und Verwandter Systeme I’, in M. David (ed.), The Undecidable, Hewlett, New York, pp. 5–38.

    Google Scholar 

  • Gödel, K.: 1944, ‘Russell's Mathematical Logic’, in P. A. Schilpp (ed.), The Philosophy of Bertrand Russell, Evanston, pp. 125–153.

  • Hilbert, D.: 1900, ‘Über den Zahlbegriff’, Jahresbericht DMV 8 pp. 180–194.

    Google Scholar 

  • Hilbert, D.: 1902, ‘Sur les problèmes futurs des mathématiques’, in Compte Rendu du Deuxième Congrès International des Mathématiciens, Paris, pp. 58–114.

  • Hilbert, D.: 1904, ‘Über die Grundlagen der Logik und Arithmetik’, in Grundlagen der Geometrie, 5. Auflage, Leipzig and Berlin, pp. 243–258.

  • Hilbert, D.: 1922, Grundlagen der Geometrie, 5. Auflage, Leipzig and Berlin.

  • Hilbert, D.: 1928, ‘Probleme der Grundlegung der Mathematik’, in K. Reidemeister (ed), Hilbert, Berlin, pp. 9–19.

  • Hilbert, D.: 1931, ‘Die Grundlegung der Elementaren Zahlenlehre’, Math. Annalen 104, 485–494.

    Google Scholar 

  • Hilbert, D.: 1935, Gesammelte Abhandlungen, 3. Band, Berlin.

  • Hilbert, D. and P. Bernays: 1934 (1968): Grundlagen der Mathematik 1, Zweite Auflage, Berlin.

  • Kreisel, G.: 1968, ‘Survey of Proof Theory’, Journal of Symbolic Logic 33, 321–388.

    Google Scholar 

  • Kronecker, L.: 1887, ‘Über den Zahlbegriff’, in Werke III, pp. 251–274.

  • Kronecker, L.: 1901, Vorlesungen zur Zahlentheorie, (K. Hensel, editor), Leipzig.

  • Moore, G. H.: 1980, ‘Beyond First-Order Logic: The Historical Interplay Between Mathematical Logic and Axiomatic Set Theory’, History and Philosophy of Logic 1, 95–137.

    Google Scholar 

  • Poincaré, H.: 1902, ‘Du rôle de l'Intuition et de la Logique en Mathématiques’ in Compte Rendu du Deuxième Congrès International des Mathématiciens, Paris, 115–130.

  • Reid, C.: 1970, Hilbert, Berlin.

  • Russell, B.: 1908, ‘Mathematical Logic as Based on the Theory of Types’, in J. van Heijenoort (ed.), From Frege to Gödel: A Source Book in Mathematical Logic 1879–1931, Harvard University Press, Cambridge, pp. 150–182.

    Google Scholar 

  • Sieg, W.: 1977, Trees in Metamathematics (Theories of Inductive Definitions and Subsystems of Analysis), Ph.D. Thesis, Stanford.

  • Tait, W. W.: 1965, ‘Functionals Defined by Transfinite Recursion’, Journal of Symbolic Logic 30, 155–174.

    Google Scholar 

  • Takeuti, G.: 1978, Two Applications of Logic to Mathematics, Princeton University Press, Princeton.

    Google Scholar 

  • van Heijenoort, J.: 1967, From Frege to Gödel: A Source Book in Mathematical Logic 1879–1931, Harvard University Press, Cambridge.

    Google Scholar 

  • Weber, H.: 1893, ‘Leopold Kronecker’, Jahresbericht DMV 2, 5–31.

    Google Scholar 

  • Weyl, H.: 1918, Das Kontinuum, Leipzig.

  • Whitehead, A. N. and B. Russell: 1910, Principia Mathematica I, Cambridge.

  • Zermelo, E.: 1908, ‘Untersuchungen über die Grundlagen der Mengenlehre I’, Math. Ann. 65, 261–281.

    Google Scholar 

  • Zermelo, E.: 1931, ‘Über Stufen der Quantifikation und die Logik des Unendlichen’, Jahresbericht DMV 31, 85–88.

    Google Scholar 

  • Zermelo, E.: 1935, ‘Grundlagen einer Allgemeinen Theorie der Mathematischen Satzsysteme’, Fundamenta Mathematicae 25, 136–146.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Philosophy, Columbia University, 10027, New York, NY, U.S.A.

    Wilfried Sieg

Authors
  1. Wilfried Sieg
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This paper was completed in June 1981; some minor changes were made in August 1982.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Sieg, W. Foundations for analysis and proof theory. Synthese 60, 159–200 (1984). https://doi.org/10.1007/BF00485460

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00485460

Keywords

Search

Navigation