Searching for authors named "Solomon Feferman" – sorted by Relevance.
-
Three Conceptual Problems That Bug Me
- -20, 1996; Draft) Solomon Feferman Bug (v.t.): to bother, annoy, pester; to prey on, worry Introduction I
- Add To MetaCart
-
Definedness
- Definedness Solomon Feferman 1 Dedicated to Alonzo Church Abstract Questions of definedness
- Cited by 1 (0 self) – Add To MetaCart
-
Highlights in Proof Theory
- Highlights in Proof Theory Solomon Feferman Abstract This is a survey of some of the principal
- Cited by 9 (3 self) – Add To MetaCart
-
What Rests On What? The Proof-Theoretic Analysis Of Mathematics
- WHAT RESTS ON WHAT? THE PROOF-THEORETIC ANALYSIS OF MATHEMATICS SOLOMON FEFERMAN 1 Whenever a
- Cited by 5 (1 self) – Add To MetaCart
-
Kreisel's "unwinding" Program
- Kreisel's "unwinding" program Solomon Feferman 1 Introduction. Through his own contributions
- Cited by 7 (0 self) – Add To MetaCart
-
Does Mathematics Need New Axioms?
- Does mathematics need new axioms? Solomon Feferman The question, "Does mathematics need new axioms
- Cited by 5 (1 self) – Add To MetaCart
-
Relationships between constructive, predicative, and classical systems of analysis
- Relationships between Constructive, Predicative and Classical Systems of Analysis Solomon Feferman
- Cited by 1 (0 self) – Add To MetaCart
-
Does Reductive Proof Theory Have A Viable Rationale?
- DOES REDUCTIVE PROOF THEORY HAVE A VIABLE RATIONALE? Solomon Feferman Abstract The goals
- Cited by 3 (0 self) – Add To MetaCart
-
Gödel's program for new axioms: Why, where, how and what?
- Godel's program for new axioms: Why, where, how and what? Solomon Feferman Department
- Cited by 10 (3 self) – Add To MetaCart
-
1993]. What rests on what? The proof-theoretic analysis of mathematics
- WHAT RESTS ON WHAT? THE PROOF-THEORETIC ANALYSIS OF MATHEMATICS SOLOMON FEFERMAN 1 Whenever a
- Cited by 1 (1 self) – Add To MetaCart

