Solomon Feferman

Publication Activity (10 Years)

Years Active: 1957-2015
Publications (10 Years): 0

Top Topics

Diagrammatic Reasoning

Multiresolution

Reasoning Process

Rule Based Reasoning

Top Venues

Bull. Symb. Log.

Logica Universalis

Rev. Symb. Log.

Publications

Solomon Feferman, Vladimir Lifschitz
In Memoriam: Grigori E. Mints 1939-2014. Bull. Symb. Log. 21 (1) (2015)
Solomon Feferman
Foundations of Unlimited Category Theory: What Remains to be Done. Rev. Symb. Log. 6 (1) (2013)
Solomon Feferman
And so on . . . : reasoning with infinite diagrams. Synth. 186 (1) (2012)
Solomon Feferman
On Rereading van Heijenoort's Selected Essays. Logica Universalis 6 (3-4) (2012)
Solomon Feferman
Two PhD Students for the Price of One. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Solomon Feferman
Set-theoretical Invariance Criteria for Logicality. Notre Dame J. Formal Log. 51 (1) (2010)
Solomon Feferman, Thomas Strahm
Unfolding Finitist Arithmetic. Rev. Symb. Log. 3 (4) (2010)
Solomon Feferman
Operational set theory and small large cardinals. Inf. Comput. 207 (10) (2009)
Solomon Feferman
Axioms for Determinateness and Truth. Rev. Symb. Log. 1 (2) (2008)
Solomon Feferman
Harmonious logic: Craig's interpolation theorem and its descendants. Synth. 164 (3) (2008)
Solomon Feferman
Tarski's influence on computer science CoRR (2006)
Solomon Feferman
Tarski's influence on computer science. Log. Methods Comput. Sci. 2 (3) (2006)
Solomon Feferman
The Gödel editorial project: A synopsis. Bull. Symb. Log. 11 (2) (2005)
Solomon Feferman
Tarski's Influence on Computer Science. LICS (2005)
Solomon Feferman
Tarski's conception of logic. Ann. Pure Appl. Log. 126 (1-3) (2004)
Solomon Feferman, Harvey M. Friedman, Penelope Maddy, John R. Steel
Does mathematics need new axioms? Bull. Symb. Log. 6 (4) (2000)
Solomon Feferman
Mathematical Intuition Vs. Mathematical Monsters. Synth. 125 (3) (2000)
Solomon Feferman, Thomas Strahm
The unfolding of non-finitist arithmetic. Ann. Pure Appl. Log. 104 (1-3) (2000)
Solomon Feferman
Logic, Logics, and Logicism. Notre Dame J. Formal Log. 40 (1) (1999)
Solomon Feferman
Computation on Abstract Data Types: The Extensional Approach, with an Application to Streams. Ann. Pure Appl. Log. 81 (1-3) (1996)
Solomon Feferman, Gerhard Jäger
Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II. Ann. Pure Appl. Log. 79 (1) (1996)
Solomon Feferman, Geoffrey Hellman
Predicative foundations of arithmetic. J. Philos. Log. 24 (1) (1995)
Sergei N. Artëmov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser
Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994. Ann. Pure Appl. Log. 75 (1-2) (1995)
Solomon Feferman
Gödel's Dialectica Interpretation and Its Two-Way Stretch. Kurt Gödel Colloquium (1993)
Solomon Feferman, Gerhard Jäger
Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part I. Ann. Pure Appl. Logic 65 (3) (1993)
Solomon Feferman
A New Approach to Abstract Data Types, I: Informal Development. Math. Struct. Comput. Sci. 2 (2) (1992)
Solomon Feferman
A New Approach to Abstract Data Types II: Computation on ADTs as Ordinary Computation. CSL (1991)
Solomon Feferman
Reflecting on Incompleteness. J. Symb. Log. 56 (1) (1991)
Solomon Feferman
Proofs of Termination and the "91" Function. Artificial and Mathematical Theory of Computation (1991)
Solomon Feferman
Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions. J. Symb. Log. 53 (2) (1988)
Jon Barwise, Solomon Feferman, David Israel
Meeting of the Association for Symbolic Logic: Stanford, California, 1985. J. Symb. Log. 51 (3) (1986)
Solomon Feferman
Intensionality in mathematics. J. Philos. Log. 14 (1) (1985)
A. Burdman Feferman, Solomon Feferman
Jean van Heijenoort (1912-1986). Logic Colloquium (1985)
Solomon Feferman
Toward Useful Type-Free Theories. I. J. Symb. Log. 49 (1) (1984)
Solomon Feferman, Gerhard Jäger
Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis. J. Symb. Log. 48 (1) (1983)
Solomon Feferman, Jon Barwise, Leo Harrington
Meeting of the Association for Symbolic Logic: Reno, 1976. J. Symb. Log. 42 (1) (1977)
Solomon Feferman
Systems of Predicative Analysis, II: Representations of Ordinals. J. Symb. Log. 33 (2) (1968)
Solomon Feferman
Systems of Predicative Analysis. J. Symb. Log. 29 (1) (1964)
Solomon Feferman, C. Spector
Incompleteness Along Paths in Progressions of Theories. J. Symb. Log. 27 (4) (1962)
Solomon Feferman
Transfinite Recursive Progressions of Axiomatic Theories. J. Symb. Log. 27 (3) (1962)
Solomon Feferman
Degrees of Unsolvability Associated with Classes of Formalized Theories. J. Symb. Log. 22 (2) (1957)