Skip to main content
×
×
Home

IN MEMORIAM: SOLOMON FEFERMAN (1928–2016)

    • Send article to Kindle

      To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

      Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

      Find out more about the Kindle Personal Document Service.

      IN MEMORIAM: SOLOMON FEFERMAN (1928–2016)
      Available formats
      ×
      Send article to Dropbox

      To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your Dropbox account. Find out more about sending content to Dropbox.

      IN MEMORIAM: SOLOMON FEFERMAN (1928–2016)
      Available formats
      ×
      Send article to Google Drive

      To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your Google Drive account. Find out more about sending content to Google Drive.

      IN MEMORIAM: SOLOMON FEFERMAN (1928–2016)
      Available formats
      ×
Abstract
Copyright
References
Hide All
1955. Review of Wang [1951]. The Journal of Symbolic Logic, vol. 20, pp. 7677.
1959. (With R. L. Vaught.) The first-order properties of algebraic systems . Fundamenta Mathematicae, vol. 47, pp. 57103.
1960. Arithmetization of metamathematics in a general setting . Fundamenta Mathematicae, vol. 49, pp. 3592.
1962. Transfinite recursive progressions of axiomatic theories . The Journal of Symbolic Logic, vol. 27, pp. 259316.
1964. Systems of predicative analysis . The Journal of Symbolic Logic, vol. 29, pp. 130.
1965. Some applications of the notion of forcing and generic sets . Fundamenta Mathematicae, vol. 56, pp. 325345.
1968. Autonomous transfinite progressions and the extent of predicative mathematics , Logic, Methodology, and Philosophy of Science III (van Rootselaar B. and Staal J. F., editors), North-Holland, Amsterdam, pp. 121135.
1970. Formal theories for transfinite iterations of generalized inductive definitions and some subsystems of analysis (Myhill Kino, and Vesley, editors), pp. 303326.
1975. A language and axioms for explicit mathematics , Algebra and Logic (Crossley J. N., editor), Lecture Notes in Mathematics, vol. 450, Springer, Berlin, pp. 87139.
1981. (With Wilfried Buchholz, Wolfram Pohlers, and Wilfried Sieg.) Iterated Inductive Definitions and Subsystems of Analysis, Lecture Notes in Mathematics, vol. 897, Springer, Berlin.
1988. Weyl vindicated: Das Kontinuum seventy years later , Temi e prospettivi della logica e della scienza contemporanee, vol. 1 (Celluci C. and Sambin G., editors), CLUEB, Bologna, pp. 5993, Reprinted in [1998].
1988a. Hilbert’s program relativized: Proof-theoretical and foundational reductions . The Journal of Symbolic Logic, vol. 53, pp. 364384.
1993. Why a little bit goes a long way: Logical foundations of scientifically applicable mathematics , PSA 1992, vol. 2, Philosophy of Science Association, East Lansing, MI, pp. 447455, Reprinted in [1998].
1998. In the Light of Logic, Oxford University Press, New York.
2004. (With Anita Burdman Feferman.) Alfred Tarski: Life and Logic, Cambridge University Press.
2005. The Gödel editorial project: A synopsis, this Bulletin, vol. 11, pp. 132149.
2008. Philosophy of Mathematics: Five Questions (Hendricks V. and Leitgeb H., editors), Automatic Press/VIP, pp. 115135.
2009. Conceptions of the continuum . Intellectica, vol. 51, pp. 169189.
2014. A fortuitous year with Leon Henkin , The Life and Work of Leon Henkin (Manzano M., Sain I., and Alonso E., editors), Birkhäuser, Basel, pp. 3540.
2016. Parsons and I: Sympathies and differences . The Journal of Philosophy, vol. 113, pp. 234246.
2016a. The operational perspective: Three routes , Advances in Proof Theory (Kahle R., Strahm T., and Studer T., editors), Birkhäuser, Basel, pp. 269289.
2017. Autobiography. In Jäger and Sieg [2017].
Forthcoming. The Continuum Hypothesis is neither a definite mathematical problem nor a definite logical problem , Exploring the Frontiers of Incompleteness (Koellner P., editor).
Bishop E., 1967. Foundations of constructive analysis. McGraw-Hill, New York.
Friedman H., 1970. Iterated inductive definitions and $\sum\nolimits_{}^1 {_2 } $ -AC. In Myhill Kino, and Vesley 1970, pp. 435442.
Jäger G., and Sieg W. (eds.), 2017. Feferman on Foundations: Logic, Mathematics, Philosophy. Springer, Dordrecht.
Myhill J., Kino A., and Vesley R. E. (eds.), 1970. Intuitionism and Proof Theory. North-Holland, Amsterdam.
Searle J. R., 1995. The Construction of Social Reality. Free Press/Macmillan, New York.
Turing A. M., 1939. Systems of logic based on ordinals. Proceedings of the London Mathematical Society (2), vol. 45, pp. 161228.
Wang H., 1951. Arithmetic models of formal systems. Methodos 3, pp. 217232.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Bulletin of Symbolic Logic
  • ISSN: 1079-8986
  • EISSN: 1943-5894
  • URL: /core/journals/bulletin-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 77 *
Loading metrics...

Abstract views

Total abstract views: 94 *
Loading metrics...

* Views captured on Cambridge Core between 4th December 2017 - 20th January 2018. This data will be updated every 24 hours.