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

Bulletin of Symbolic Logic 11 (2):239-241 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600003334

Links

PhilArchive



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

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

Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman.Wilfried Sieg, Richard Sommer & Carolyn Talcott - 2017 - Cambridge University Press.
Review: Solomon Feferman, Foundational Ways; Solomon Feferman, Working Foundations. [REVIEW]Maria Dalla Chiara - 1992 - Journal of Symbolic Logic 57 (4):1478-1479.
Review: Solomon Feferman, Foundational Ways; Solomon Feferman, Working Foundations. [REVIEW]Maria Luisa Dalla Chiara - 1992 - Journal of Symbolic Logic 57 (4):1478-1479.
Review: Solomon Feferman, J. N. Crossley, A Language and Axioms for Explicit Mathematics; Solomon Feferman, Maurice Boffa, Dirk van Dalen, Kenneth McAloon, Constructive Theories of Functions and Classes. [REVIEW]G. R. Renardel de Lavalette & A. S. Troelstra - 1984 - Journal of Symbolic Logic 49 (1):308-311.
Categorical Foundations and Foundations of Category Theory.Solomon Feferman - 1977 - In Robert E. Butts & Jaakko Hintikka (eds.), Logic, Foundations of Mathematics, and Computability Theory. Springer. pp. 149-169.
In the Light of Logic.Solomon Feferman - 1998 - New York and Oxford: Oxford University Press.
Feferman Solomon. A language and axioms for explicit mathematics. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by Crossley J. N., Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 87–139.Feferman Solomon. Constructive theories of functions and classes. Logic colloquium '78, Proceedings of the colloquium held in Mons, August 1978, edited by Boffa Maurice, van Dalen Dirk, and McAloon Kenneth, Studies in logic and the foundations of mathematics, vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, pp. 159–224. [REVIEW]G. R. Renardel de Lavalette & A. S. Troelstra - 1984 - Journal of Symbolic Logic 49 (1):308-311.
The development of programs for the foundations of mathematics in the first third of the 20th century.Solomon Feferman - manuscript
Feferman S. and Kreisel G.. Persistent and invariant formulas relative to theories of higher order. Bulletin of the American Mathematical Society, vol. 72 , pp. 480–485.Feferman Solomon. Persistent and invariant formulas for outer extensions. Logic and foundations of mathematics, Dedicated to Prof. A. Heyting on his 70th birthday, Wolters-Noordhoff Publishing, Groningen 1968, pp. 29–52; also Compositio mathematica, vol. 20 , p. 29–52. [REVIEW]K. Jon Barwise - 1972 - Journal of Symbolic Logic 37 (4):764-765.
What rests on what? The proof-theoretic analysis of mathematics.Solomon Feferman - 1993 - In J. Czermak (ed.), Philosophy of Mathematics. Hölder-Pichler-Tempsky. pp. 1--147.
Learning from questions on categorical foundations.Colin McLarty - 2005 - Philosophia Mathematica 13 (1):44-60.
Skolem Th.. Peano's axioms and models of arithmetic. Mathematical Interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1955, pp. 1–14. [REVIEW]Solomon Feferman - 1957 - Journal of Symbolic Logic 22 (3):306-306.
Working foundations.Solomon Feferman - 1985 - Synthese 62 (2):229 - 254.
Infinity in Mathematics.Solomon Feferman - 1989 - Philosophical Topics 17 (2):23-45.
Intensionality in mathematics.Solomon Feferman - 1985 - Journal of Philosophical Logic 14 (1):41 - 55.

Analytics

Added to PP
2014-03-20

Downloads
37 (#419,437)

6 months
13 (#185,110)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David C. McCarty
Last affiliation: Indiana University, Bloomington

Citations of this work

Number theory and elementary arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.

Add more citations

References found in this work

No references found.

Add more references