Solomon Feferman

43 papers A* 1B 1Journal 35Unranked 4
YearRankTypeTitle / Venue / Authors
2016 — ch.
Turing's 'Oracle': From Absolute to Relative Computability and Back.
The Once and Future Turing
Solomon Feferman
2015 J jnl
In Memoriam: Grigori E. Mints 1939-2014.
Bull. Symb. Log.
Solomon Feferman, Vladimir Lifschitz
2013 J jnl
Foundations of Unlimited Category Theory: What Remains to be Done.
Rev. Symb. Log.
Solomon Feferman
2012 J jnl
And so on . . . : reasoning with infinite diagrams.
Synth.
Solomon Feferman
2012 J jnl
On Rereading van Heijenoort's Selected Essays.
Logica Universalis
Solomon Feferman
2011 — conf
Two PhD Students for the Price of One.
Formal Modeling: Actors, Open Systems, Biological Systems
Solomon Feferman
2010 J jnl
Set-theoretical Invariance Criteria for Logicality.
Notre Dame J. Formal Log.
Solomon Feferman
2010 J jnl
Unfolding Finitist Arithmetic.
Rev. Symb. Log.
Solomon Feferman, Thomas Strahm
2009 J jnl
Operational set theory and small large cardinals.
Inf. Comput.
Solomon Feferman
2008 J jnl
Axioms for Determinateness and Truth.
Rev. Symb. Log.
Solomon Feferman
2008 J jnl
Harmonious logic: Craig's interpolation theorem and its descendants.
Synth.
Solomon Feferman
2007 — ch.
Predicativity.
The Oxford Handbook of Philosophy of Mathematics and Logic
Solomon Feferman
2006 J jnl
Tarski's influence on computer science
CoRR
Solomon Feferman
2006 J jnl
Tarski's influence on computer science.
Log. Methods Comput. Sci.
Solomon Feferman
2005 A* conf
Tarski's Influence on Computer Science.
LICS
Solomon Feferman
2005 J jnl
The Gödel editorial project: A synopsis.
Bull. Symb. Log.
Solomon Feferman
2004 J jnl
Tarski's conception of logic.
Ann. Pure Appl. Log.
Solomon Feferman
2000 J jnl
Does mathematics need new axioms?
Bull. Symb. Log.
Solomon Feferman, Harvey M. Friedman, Penelope Maddy, John R. Steel
2000 J jnl
Mathematical Intuition Vs. Mathematical Monsters.
Synth.
Solomon Feferman
2000 J jnl
The unfolding of non-finitist arithmetic.
Ann. Pure Appl. Log.
Solomon Feferman, Thomas Strahm
1999 J jnl
Logic, Logics, and Logicism.
Notre Dame J. Formal Log.
Solomon Feferman
1996 J jnl
Computation on Abstract Data Types: The Extensional Approach, with an Application to Streams.
Ann. Pure Appl. Log.
Solomon Feferman
1996 J jnl
Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II.
Ann. Pure Appl. Log.
Solomon Feferman, Gerhard Jäger
1995 J jnl
Predicative foundations of arithmetic.
J. Philos. Log.
Solomon Feferman, Geoffrey Hellman
1995 J jnl
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.
Sergei N. Artëmov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser
1993 — conf
Gödel's Dialectica Interpretation and Its Two-Way Stretch.
Kurt Gödel Colloquium
Solomon Feferman
1993 J jnl
Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part I.
Ann. Pure Appl. Logic
Solomon Feferman, Gerhard Jäger
1992 J jnl
A New Approach to Abstract Data Types, I: Informal Development.
Math. Struct. Comput. Sci.
Solomon Feferman
1991 B conf
A New Approach to Abstract Data Types II: Computation on ADTs as Ordinary Computation.
CSL
Solomon Feferman
1991 — conf
Proofs of Termination and the "91" Function.
Artificial and Mathematical Theory of Computation
Solomon Feferman
1991 J jnl
Reflecting on Incompleteness.
J. Symb. Log.
Solomon Feferman
1988 J jnl
Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions.
J. Symb. Log.
Solomon Feferman
1986 J jnl
Meeting of the Association for Symbolic Logic: Stanford, California, 1985.
J. Symb. Log.
Jon Barwise, Solomon Feferman, David Israel
1985 J jnl
Intensionality in mathematics.
J. Philos. Log.
Solomon Feferman
1985 — conf
Jean van Heijenoort (1912-1986).
Logic Colloquium
A. Burdman Feferman, Solomon Feferman
1984 J jnl
Toward Useful Type-Free Theories. I.
J. Symb. Log.
Solomon Feferman
1983 J jnl
Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis.
J. Symb. Log.
Solomon Feferman, Gerhard Jäger
1977 J jnl
Meeting of the Association for Symbolic Logic: Reno, 1976.
J. Symb. Log.
Solomon Feferman, Jon Barwise, Leo Harrington
1968 J jnl
Systems of Predicative Analysis, II: Representations of Ordinals.
J. Symb. Log.
Solomon Feferman
1964 J jnl
Systems of Predicative Analysis.
J. Symb. Log.
Solomon Feferman
1962 J jnl
Incompleteness Along Paths in Progressions of Theories.
J. Symb. Log.
Solomon Feferman, C. Spector
1962 J jnl
Transfinite Recursive Progressions of Axiomatic Theories.
J. Symb. Log.
Solomon Feferman
1957 J jnl
Degrees of Unsolvability Associated with Classes of Formalized Theories.
J. Symb. Log.
Solomon Feferman