World's Best Scientists 2026 revealed!

D-Index & Metrics

Mathematics

D-Index
43
Citations
13453
World Ranking
1650
National Ranking
711

Research.com Recognitions

  • 2013 - Fellow of the American Mathematical Society
  • 1986 - Fellow of John Simon Guggenheim Memorial Foundation
  • 1972 - Fellow of John Simon Guggenheim Memorial Foundation

Overview

Solomon Feferman was affiliated with Stanford University in the United States. Their research spanned multiple main fields, including Mathematics, Computer Science, and Psychology, each with a significant number of publications. Within these fields, their work also extended into specialized subfields such as Mathematical Physics, Computational Theory and Mathematics, and Experimental and Cognitive Psychology.

Their contributions concentrated around several main topics of study: Mathematical and Theoretical Analysis, Computability, Logic, AI Algorithms, and Philosophy and Theoretical Science. These topics reflected a broad interdisciplinary approach combining rigorous mathematical theory with considerations of logic and cognitive processes.

Frequent collaborations were notable with Geoffrey Hellman, with whom Solomon Feferman coauthored multiple works. Although specific paper titles and publication venues are not documented here, such collaborative relationships indicate a sustained engagement in their areas of expertise.

Awards received during their career include being named a Fellow of the American Mathematical Society in 2013. Additionally, Solomon Feferman was recognized twice as a Fellow of the John Simon Guggenheim Memorial Foundation, once in 1972 and again in 1986. These honors reflect recognition within the scientific and mathematical communities over several decades.

Best Publications

  • Theory of Recursive Functions and Effective Computability.

    Solomon Feferman;Hartley Rogers

  • The first order properties of products of algebraic systems

    S. Feferman;R. L. Vaught

  • Arithmetization of metamathematics in a general setting

    Solomon Feferman

  • Model-Theoretic Logics

    Jon Barwise;Solomon Feferman

  • Toward Useful Type-Free Theories. I

    Solomon Feferman

  • A Language and Axioms for Explicit Mathematics

    Solomon Feferman

  • Constructive Theories of Functions and Classes

    Solomon Feferman

  • Transfinite recursive progressions of axiomatic theories

    Solomon Feferman

  • Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies

    Wilfried Buchholz;Solomon Feferman;Wolfram Pohlers;Wilfried Sieg

  • Reflecting on incompleteness

    Solomon Feferman

  • Some applications of the notions of forcing and generic sets

    S. Feferman

  • Monadic Second-Order Theories

    Y. Gurevich

  • Theories of Finite Type Related to Mathematical Practice

    Solomon Feferman

  • Categorical Foundations and Foundations of Category Theory

    Solomon Feferman

  • Systems of predicative analysis, II: Representations of ordinals

    Solomon Feferman

  • Hilbert's program relativized; Proof-theoretical and foundational reductions

    Solomon Feferman

  • Does mathematics need new axioms

    Solomon Feferman;Harvey M. Friedman;Penelope Maddy;John R. Steel

  • Logic, Logics, and Logicism

    Solomon Feferman

  • Iterated Inductive Fixed-Point Theories: Application to Hancock's Conjecture

    Solomon Feferman

  • Lectures on proof theory

    Solomon Feferman

  • Does Mathematics Need New Axioms

    Solomon Feferman

Frequent Co-Authors

Stephen G. Simpson
Stephen G. Simpson Pennsylvania State University
Yuri Gurevich
Yuri Gurevich University of Michigan–Ann Arbor
Alfred Tarski
Alfred Tarski University of California, Berkeley
Vladimir Lifschitz
Vladimir Lifschitz The University of Texas at Austin
Erich Grädel
Erich Grädel RWTH Aachen University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

For Mathematics graduates looking to expand their career options, pursuing related online degrees can be a strategic move. Many students consider business administration to complement their analytical skills. Programs like 1 year mba programs offer a fast-track option for gaining vital management expertise without a lengthy commitment.

Flexibility is also crucial for working professionals. Those seeking convenience might explore online mba accepting transfer credits to leverage past coursework and accelerate their journey toward an MBA.

Alternatively, data-driven fields present promising opportunities. A master in data analytics can be an excellent fit for math graduates aiming to specialize in big data, predictive modeling, and business intelligence.

Finally, for those wanting an accessible entry point, exploring the easiest mba programs may offer a manageable path towards boosting qualifications and career advancement without overwhelming admission hurdles.

Best Scientists Citing Solomon Feferman

Recently Published Articles