Working foundations

Synthese 62 (2):229 - 254 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00486048

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

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

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, Foundational Ways; Solomon Feferman, Working Foundations. [REVIEW]Maria Dalla Chiara - 1992 - Journal of Symbolic Logic 57 (4):1478-1479.
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.
Review: Solomon Feferman, The Number Systems. Foundations of Algebra and Analysis. [REVIEW]William E. Gould - 1973 - Journal of Symbolic Logic 38 (1):151-151.
Book Reviews: Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge.Walter Carnielli - 2006 - Logic and Logical Philosophy 15 (1):91-96.
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.
Comptes rendus. Anita burdman Feferman, Solomon Feferman, algred Tarski. Life and logic.R. Schmit - 2005 - Archives de Philosophie 68 (3):546.
Solomon Feferman. Some applications of the notions of forcing and generic sets . The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 89–95. - Solomon Feferman. Some applications of the notions of forcing and generic sets. Fundamenta mathematicae, vol. 56 no. 3 , pp. 325–345. [REVIEW]James E. Baumgartner - 1972 - Journal of Symbolic Logic 37 (3):612-613.
Anita Burdman Feferman and Solomon Feferman, Alfred Tarski: Life and Logic.Manuel Bremer - 2009 - Philosophy in Review 29 (6):404.
Solomon Feferman. The number systems. Foundations of algebra and analysis. Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, and London, 1964, xii + 418 pp. [REVIEW]William E. Gould - 1973 - Journal of Symbolic Logic 38 (1):151.

Analytics

Added to PP
2009-01-28

Downloads
54 (#303,841)

6 months
5 (#710,385)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Tarski's thesis.Gila Sher - 2008 - In Douglas Patterson (ed.), New essays on Tarski and philosophy. New York: Oxford University Press. pp. 300--339.

Add more citations

References found in this work

Proofs and refutations: the logic of mathematical discovery.Imre Lakatos (ed.) - 1976 - New York: Cambridge University Press.
The mathematical experience.Philip J. Davis - 1981 - Boston: Birkhäuser. Edited by Reuben Hersh & Elena Marchisotto.
Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.

View all 55 references / Add more references