Concepedia

Solomon Feferman

SF

Statistics

Publications

56

Citations

7.3K

H-Index

33

Active since

1952

Affiliations

Stanford University(Current)

University of Bern

Solomon Feferman is an author at Stanford University specializing in mathematics, natural sciences, and logic.

Publications per year

1952–2012

56

Publications

56

Theory of Recursive Functions and Effective Computability.

Solomon Feferman, Hartley Rogers · American Mathematical Monthly · 1969 · 2.8K citations

, , +14

The first order properties of products of algebraic systems

Solomon Feferman, Robertl. Vaught · Fundamenta Mathematicae · 1959 · 488 citations · Full text

, , +8

Arithmetization of metamathematics in a general setting

Solomon Feferman · Fundamenta Mathematicae · 1960 · 444 citations · Full text

, , +4

Toward useful type-free theories. I

Solomon Feferman · Journal of Symbolic Logic · 1984 · 382 citations

, , +12

Systems of predicative analysis

Solomon Feferman · Journal of Symbolic Logic · 1964 · 374 citations

, , +7

1–5 of 56