Searching for authors named "Solomon Feferman" – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
