Frege's theorem and the peano postulates
Bulletin of Symbolic Logic 1 (3):317-326 (1995)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
|
| Through your library | Configure |
George Mills (1978). A Model of Peano Arithmetic with No Elementary End Extension. Journal of Symbolic Logic 43 (3):563-567.
Claes Strannegård (1999). Interpretability Over Peano Arithmetic. Journal of Symbolic Logic 64 (4):1407-1425.
Stephen G. Simpson (1984). Which Set Existence Axioms Are Needed to Prove the Cauchy/Peano Theorem for Ordinary Differential Equations? Journal of Symbolic Logic 49 (3):783-802.
Wlllard Van Orman Quine (1987). Peano as Logician. History and Philosophy of Logic 8 (1):15-24.
Wlllard Van Orman Quine (1987). Peano as Logician. History and Philosophy of Logic 8 (1):15-24.
William Demopoulus & William Bell (1993). Frege's Theory of Concepts and Objects and the Interpretation of Second-Order Logict. Philosophia Mathematica 1 (2):139-156.
J. Michael Dunn (1980). Quantum Mathematics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
Edward N. Zalta, Frege's Logic, Theorem, and Foundations for Arithmetic. Stanford Encyclopedia of Philosophy.
Øystein Linnebo (2004). Predicative Fragments of Frege Arithmetic. Bulletin of Symbolic Logic 10 (2):153-174.
Monthly downloads |
Added to index2009-01-28Total downloads37 ( #32,537 of 556,898 )Recent downloads (6 months)2 ( #39,122 of 556,898 )How can I increase my downloads? |

