Solomon Feferman

Solomon Feferman (born December 13, 1928) is an American philosopher and mathematician with works in mathematical logic. He was born in New York City, New York, and received his Ph.D. in 1957 from the University of California, Berkeley under Alfred Tarski. He is Patrick Suppes Professor Emeritus of Humanities and Sciences, with appointments in the Departments of Mathematics and Philosophy at Stanford University.

Feferman was awarded the Schock Prize in logic and philosophy in 2003 and delivered the

1. REDIRECT Template:Interlanguage link

• This is a redirect from a page that was merged into another page. This redirect was kept in order to preserve this page's edit history after its content was merged into the target page's content. Please do not remove the tag that generates this text (unless the need to recreate content on this page has been demonstrated) nor delete this page. For more information follow the bold category link.
  • For redirects with substantive page histories that did not result from page merges use {{R with history}} instead. in 2006. In 2012 he became a fellow of the American Mathematical Society.

Feferman was the editor-in-chief of the Collected Works of Kurt Gödel.

Selected publications

• In the Light of Logic (Oxford University Press, 1998, ISBN 0-19-508030-0, Logic and Computation in Philosophy series) review.
• Avigad, J.; Feferman, S. (1998) Gödel's functional (Dialectica) interpretation. Handbook of proof theory, 337–405, Stud. Logic Found. Math., 137, North-Holland, Amsterdam.
• Feferman, S.; Vaught, R. L. (1959) The first order properties of products of algebraic systems. Fund. Math. 47, 57–103.
• Feferman, Solomon (1979) Constructive theories of functions and classes. Logic Colloquium '78 (Mons, 1978), pp. 159–224, Stud. Logic Foundations Math., 97, North-Holland, Amsterdam-New York.
• Feferman, Solomon (1975) A language and axioms for explicit mathematics. Algebra and logic (Fourteenth Summer Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), pp. 87–139. Lecture Notes in Math., Vol. 450, Springer, Berlin.
• Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried (1981) Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies. Lecture Notes in Mathematics, 897. Springer-Verlag, Berlin-New York.
• Feferman, Solomon; Hellman, Geoffrey (1995) Predicative foundations of arithmetic. J. Philos. Logic 24, no. 1, 1--17.

See also

• Criticism of non-standard analysis

External links

• Solomon Feferman official website at Stanford University