Solomon Feferman - Concepedia

Author

Solomon Feferman

Also Known As

FEFERMAN,S., Feferman, Solomon, S. Feferman, SOLOMON FEFERMAN, Solomon Feferman, Solomon Feferman (Editor-in-Chief), Solomon Feferman*

394

Publications

10.6K

Citations

H-Index

Concepts

All Affiliations

Stanford University University of Bern

About

Solomon Feferman is an author at Stanford University specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	19	4.2K
2	Language Studies	7	7	1.1K
3	Humanities	3	3	109
4	Education	1	1	49
5	Management	1	1	11

Solomon Feferman

Publications

7.3K

Citations

H-Index

Page 1

	Year	Citations
Theory of Recursive Functions and Effective Computability. Solomon Feferman, Hartley Rogers American Mathematical Monthly EngineeringAutomated ReasoningRecursive FunctionsComputational Model TheoryFormal Methods	1969	2.8K
The first order properties of products of algebraic systems Solomon Feferman, Robertl. Vaught Fundamenta Mathematicae First Order PropertiesAlgebraic AnalysisAlgebraic StructureReal Algebraic Geometry	1959	482
Arithmetization of metamathematics in a general setting Solomon Feferman Fundamenta Mathematicae EngineeringAutomated ReasoningFormal MethodsMetaprogrammingFormal System	1960	443
Toward useful type-free theories. I Solomon Feferman Journal of Symbolic Logic Philosophy Of LanguageRelevance LogicAutomated ReasoningType TheoryConstructive Logic	1984	382
Systems of predicative analysis Solomon Feferman Journal of Symbolic Logic Theoretical MathematicsMathematical StructureMathematical LinguisticsAutomated ReasoningPredicative Analysis	1964	372
Transfinite recursive progressions of axiomatic theories Solomon Feferman Journal of Symbolic Logic Equivalent RestrictionTransfinite Recursive ProgressionsConstructive MathematicsComputability TheoryAutomated Reasoning	1962	336
Reflecting on incompleteness Solomon Feferman Journal of Symbolic Logic Formal TermsConstructive MathematicsParaconsistent LogicEngineeringIncompleteness	1991	278
Some applications of the notions of forcing and generic sets Solomon Feferman Fundamenta Mathematicae Type TheorySet-theoretic TopologyModel TheoryFoundation Of MathematicsGeneric Sets	1964	209
Does Mathematics Need New Axioms? Solomon Feferman, Harvey Friedman, Penelope Maddy, Bulletin of Symbolic Logic Mathematics EducationPhilosophy Of LanguageNew AxiomsFormal Mathematical ReasoningFoundation Of Mathematics	2000	140
Logic, Logics, and Logicism Solomon Feferman Notre Dame Journal of Formal Logic Algebraic LogicNon-classical LogicEngineeringHomomorphism Invariant OperationType Structure	1999	119

Page 1