The axiomatization of arithmetic
Journal of Symbolic Logic 22 (2):145-158 (1957)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesDan E. Willard (2006). On the Available Partial Respects in Which an Axiomatization for Real Valued Arithmetic Can Recognize Its Consistency. Journal of Symbolic Logic 71 (4):1189 - 1199.
Michael Potter (1998). Classical Arithmetic as Part of Intuitionistic Arithmetic. Grazer Philosophische Studien 55:127-41.
Richard Heck (1993). The Development of Arithmetic in Frege's Grundgesetze der Arithmetik. Journal of Symbolic Logic 58 (2):579-601.
Daniel Leivant (1983). The Optimality of Induction as an Axiomatization of Arithmetic. Journal of Symbolic Logic 48 (1):182-184.
Claire Ortiz Hill (2010). Husserl on Axiomatization and Arithmetic. In Mirja Hartimo (ed.), Phenomenology and Mathematics. Springer.
George Mills & Jeff Paris (1984). Regularity in Models of Arithmetic. Journal of Symbolic Logic 49 (1):272-280.
Alistair H. Lachlan & Robert I. Soare (1994). Models of Arithmetic and Upper Bounds for Arithmetic Sets. Journal of Symbolic Logic 59 (3):977-983.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads26 ( #47,549 of 548,969 )Recent downloads (6 months)5 ( #15,091 of 548,969 )How can I increase my downloads? |
My notes
Discussion
