Gerhard Jäger* and Wilfried Sieg.** Feferman on Foundations: Logic, Mathematics, Philosophy

Philosophia Mathematica 28 (3):421-425 (2020)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/philmat/nkaa031

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Feferman on Foundations: Logic, Mathematics, Philosophy.Gerhard Jäger & Wilfried Sieg (eds.) - 2017 - Cham: Springer.
S. Feferman and W. Sieg Inductive definitions and subsystems of analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–77. - Solomon Feferman and Wilfried Sieg. Proof theoretic equivalences between classical and constructive theories for analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 78–142. - Solomon Feferman. Iterated inductive fixed-point theories: application to Hancock's conjecture. Patras logic symposion, Proceedings of the logic symposion held at Patras, Greece, August 18–22, 1980, edited by George Metakides, Studies in logic. [REVIEW]Helmut Pfeiffer - 1994 - Journal of Symbolic Logic 59 (2):668-670.
A Brief Note on Gödel, Nagel, Minds, and Machines.Wilfried Sieg - 2017 - In Gerhard Jäger & Wilfried Sieg (eds.), Feferman on Foundations: Logic, Mathematics, Philosophy. Cham: Springer.
Universes in explicit mathematics.Gerhard Jäger, Reinhard Kahle & Thomas Studer - 2001 - Annals of Pure and Applied Logic 109 (3):141-162.
Rick L. Smith. The consistency strengths of some finite forms of the Higman and Kruskal theorems. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 119–136. [REVIEW]Wilfried Sieg - 1990 - Journal of Symbolic Logic 55 (2):869-870.
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman.Wilfried Sieg, Richard Sommer & Carolyn Talcott - 2017 - Cambridge University Press.
In Memoriam: Solomon Feferman (1928–2016).Charles Parsons & Wilfried Sieg - 2017 - Bulletin of Symbolic Logic 23 (3):337-344.
Relating Quine's NF to Feferman's EM.Andrea Cantini - 1999 - Studia Logica 62 (2):141-162.
Stephen G. Simpson. Friedman's research on subsystems of second order arithmetic. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 137–159. [REVIEW]Wilfried Sieg - 1990 - Journal of Symbolic Logic 55 (2):870-874.
Solomon Feferman. Foundational ways. Perspectives in mathematics, Anniversary of Oberwolfach 1984, edited by W. Jäger, J. Moser, and R. Remmert, Birkhäuser Verlag, Basel, Boston, and Stuttgart, 1984, pp. 147–158. - Solomon Fefeŕman. Working foundations. Synthese, vol. 62 , pp. 229–254. [REVIEW]Maria Luisa Dalla Chiara - 1992 - Journal of Symbolic Logic 57 (4):1478-1479.
Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis.S. Feferman & G. Jäger - 1983 - Journal of Symbolic Logic 48 (1):63-70.
Systems of explicit mathematics with non-constructive μ-operator. Part I.Solomon Feferman & Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 65 (3):243-263.
Wilfried Sieg. Hilbert's Programs and Beyond. xii + 440 pp., illus., bibl., index. Oxford: Oxford University Press, 2013. $85 .William Ewald;, Wilfried Sieg ., Michael Hallett . David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917–1933. xxv + 1,062 pp., tables, bibl., indexes. Berlin: Springer, 2013. $139. [REVIEW]Tom Archibald - 2015 - Isis 106 (2):481-483.
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman. edited by Wilfred Sieg, Richard Sommer, and Carolyn Talcott, Lecture Notes in Logic, vol. 15. A. K. Peters, Ltd., Natick, MA, 2002, viii + 440 pp.David Charles McCarty - 2005 - Bulletin of Symbolic Logic 11 (2):239-241.
Kurt Gödel Collected Works IV-V: Correspondence.Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons & Wilfried Sieg - 2004 - Bulletin of Symbolic Logic 10 (4):558-563.

Analytics

Added to PP
2020-09-11

Downloads
16 (#883,649)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Reinhard Kahle
University Tübingen

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references