- Logic, Logics, and Logicism Solomon Feferman
- The Proof Theory of Classical and Constructive
- WHAT'S DEFINITE? WHAT'S NOT? Solomon Feferman
- Alfred Tarski and a watershed meeting in logic: Cornell, 1957 Solomon Feferman1
- FOUNDATIONS OF CATEGORY WHAT REMAINS TO BE DONE
- Definedness Solomon Feferman1
- Tarski's Conception of Logic1 Solomon Feferman
- Computation on Abstract Data Types. The Extensional Approach, with an
- Philosophia Mathematica (III) Page 1 of 19. doi:10.1093/philmat/nkj003 Are There Absolutely Unsolvable Problems?
- SOME FORMAL SYSTEMS FOR THE UNLIMITED THEORY OF STRUCTURES AND CATEGORIES Solomon Feferman(l)
- SOLOMON FEFERMAN CATEGORICAL FOUNDATIONS AND FOUNDATIONS
- From PSA 1992, vol. 2 (1993), pp. 442455 (with corrections)
- Godel's Dialectica interpretation and its two-way stretch*
- Penrose's Godelian argument Solomon Feferman
- Proof Theory Since 1960 Solomon Feferman
- Godel's program for new axioms: Why, where, how and what?
- My route to arithmetization Solomon Feferman
- Highlights in Proof Theory Solomon Feferman
- Solomon Feferman A theorem obtained by van Benthem for preservation of formulas under Chu trans-
- DOES REDUCTIVE PROOF THEORY HAVE A VIABLE RATIONALE?
- Presentation to the panel, "Does mathematics need new axioms?" ASL 2000 meeting, Urbana IL, June 5, 2000
- Tarski's Conceptual Analysis of Semantical Notions 1 Solomon Feferman
- What kind of logic is "Independence Friendly" logic? Solomon Feferman
- The Gdel Editorial Project: A synopsis Solomon Feferman1
- Tarski's influence on computer science Solomon Feferman
- Incompleteness: The Proof and Paradox of Kurt Gdel by Rebecca Goldstein.
- Turing'sThesis Solomon Feferman
- Harmonious Logic: Craig's Interpolation Theorem
- Gdel, Nagel, minds and machines Solomon Feferman1
- CONCEPTUAL STRUCTURALISM AND THE CONTINUUM
- AND SO ON... REASONING WITH INFINITE
- Conceptions of the Continuum Solomon Feferman1
- Gdel's incompleteness theorems, free will and mathematical thought Solomon Feferman
- About and Around Computing Over the Reals Solomon Feferman
- Axioms for determinateness and truth Solomon Feferman
- The impact of the incompleteness theorems on mathematics Solomon Feferman
- Lieber Herr Bernays!, Lieber Herr Gdel! Gdel on finitism, constructivity and Hilbert's program
- For Philosophy of Mathematics: 5 Questions. Solomon Feferman
- Three conceptual problems that bug me (7th Scandinavian Logic Symposium, Uppsala
- Kreisel's "unwinding" program Solomon Feferman
- Deciding the Undecidable: Wrestling with Hilbert's Problems
- On the strength of some semi-constructive theories
- The proof theory of classical and constructive inductive definitions. A 40 year saga, 1968-2008.
- Comments on "Predicativity as a philosophical position" by G. Hellman1 Solomon Feferman
- WHAT RESTS ON WHAT? THE PROOF-THEORETIC ANALYSIS OF MATHEMATICS
- CHALLENGES TO PREDICATIVE FOUNDATIONS OF ARITHMETIC Solomon Feferman1
- The signi cance of Hermann Weyl's Das Kontinuum
- Intuition vs. Monsters Mathematical Intuition vs. Mathematical Monsters
- The nature and significance of Gdel's incompleteness theorems Solomon Feferman
- AXIOMATIZING TRUTH: HOW AND WHY
- Does mathematics need new axioms? Solomon Feferman
- Relationships between Constructive, Predicative and Classical Systems of Analysis
- Typical Ambiguity: Trying to Have Your Cake and Eat it too.
- Finitary inductively presented logics Solomon Feferman1
- Predicative foundations of arithmetic Solomon Feferman
- The development of programs for the foundations of mathematics in the first third of
- Unfolding finitist arithmetic Solomon Feferman
- And so on ... : Reasoning with infinite diagrams Solomon Feferman1
- Predicativity Solomon Feferman1
- Which Quantifiers are Logical? A combined semantical and inferential criterion
- Set-theoretical invariance criteria for logicality Solomon Feferman
- Is the Continuum Hypothesis a definite mathematical problem? DRAFT 9/18/11