Degrees of Unsolvability Associated with Classes of Formalized Theories. - Solomon Feferman (J. Symb. Log., 1957)

Transfinite Recursive Progressions of Axiomatic Theories. - Solomon Feferman (J. Symb. Log., 1962)

Incompleteness Along Paths in Progressions of Theories. - Solomon Feferman; C. Spector (J. Symb. Log., 1962)

Systems of Predicative Analysis. - Solomon Feferman (J. Symb. Log., 1964)

Systems of Predicative Analysis, II: Representations of Ordinals. - Solomon Feferman (J. Symb. Log., 1968)

Meeting of the Association for Symbolic Logic: Reno, 1976. - Solomon Feferman; Jon Barwise; Leo Harrington (J. Symb. Log., 1977)

Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis. - Solomon Feferman; Gerhard Jäger (J. Symb. Log., 1983)

Toward Useful Type-Free Theories. I. - Solomon Feferman (J. Symb. Log., 1984)

Jean van Heijenoort (1912-1986). - A. Burdman Feferman; Solomon Feferman (Logic Colloquium, 1985)

Intensionality in mathematics. - Solomon Feferman (J. Philos. Log., 1985)

Meeting of the Association for Symbolic Logic: Stanford, California, 1985. - Jon Barwise; Solomon Feferman; David Israel (J. Symb. Log., 1986)

Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions. - Solomon Feferman (J. Symb. Log., 1988)

Proofs of Termination and the "91" Function. - Solomon Feferman (Artificial and Mathematical Theory of Computation, 1991)

A New Approach to Abstract Data Types II: Computation on ADTs as Ordinary Computation. - Solomon Feferman (CSL, 1991)

Reflecting on Incompleteness. - Solomon Feferman (J. Symb. Log., 1991)

A New Approach to Abstract Data Types, I: Informal Development. - Solomon Feferman (Math. Struct. Comput. Sci., 1992)

Gödel's Dialectica Interpretation and Its Two-Way Stretch. - Solomon Feferman (Kurt Gödel Colloquium, 1993)

Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part I. - Solomon Feferman; Gerhard Jäger (Ann. Pure Appl. Logic, 1993)

Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994. - Sergei N. Artëmov; George Boolos; Erwin Engeler; Solomon Feferman; Gerhard Jäger; Albert Visser (Ann. Pure Appl. Log., 1995)

Predicative foundations of arithmetic. - Solomon Feferman; Geoffrey Hellman (J. Philos. Log., 1995)

Computation on Abstract Data Types: The Extensional Approach, with an Application to Streams. - Solomon Feferman (Ann. Pure Appl. Log., 1996)

Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II. - Solomon Feferman; Gerhard Jäger (Ann. Pure Appl. Log., 1996)

Logic, Logics, and Logicism. - Solomon Feferman (Notre Dame J. Formal Log., 1999)

The unfolding of non-finitist arithmetic. - Solomon Feferman; Thomas Strahm (Ann. Pure Appl. Log., 2000)

Does mathematics need new axioms? - Solomon Feferman; Harvey M. Friedman; Penelope Maddy; John R. Steel (Bull. Symb. Log., 2000)

Mathematical Intuition Vs. Mathematical Monsters. - Solomon Feferman (Synth., 2000)

Tarski's conception of logic. - Solomon Feferman (Ann. Pure Appl. Log., 2004)

The Gödel editorial project: A synopsis. - Solomon Feferman (Bull. Symb. Log., 2005)

Tarski's influence on computer science. - Solomon Feferman (Log. Methods Comput. Sci., 2006)

Predicativity. - Solomon Feferman (The Oxford Handbook of Philosophy of Mathematics and Logic, 2007)

Axioms for Determinateness and Truth. - Solomon Feferman (Rev. Symb. Log., 2008)

Harmonious logic: Craig's interpolation theorem and its descendants. - Solomon Feferman (Synth., 2008)

Operational set theory and small large cardinals. - Solomon Feferman (Inf. Comput., 2009)

Set-theoretical Invariance Criteria for Logicality. - Solomon Feferman (Notre Dame J. Formal Log., 2010)

Unfolding Finitist Arithmetic. - Solomon Feferman; Thomas Strahm (Rev. Symb. Log., 2010)

Two PhD Students for the Price of One. - Solomon Feferman (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

On Rereading van Heijenoort's Selected Essays. - Solomon Feferman (Logica Universalis, 2012)

And so on . . . : reasoning with infinite diagrams. - Solomon Feferman (Synth., 2012)

Foundations of Unlimited Category Theory: What Remains to be Done. - Solomon Feferman (Rev. Symb. Log., 2013)

In Memoriam: Grigori E. Mints 1939-2014. - Solomon Feferman; Vladimir Lifschitz (Bull. Symb. Log., 2015)

Turing's 'Oracle': From Absolute to Relative Computability and Back. - Solomon Feferman (The Once and Future Turing, 2016)