Some theorems on extensions of arithmetic
Journal of Symbolic Logic 32 (2):180-189 (1967)
| 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,705 |
| External links |
|
| Through your library | Configure |
Robert A. di Paola & Franco Montagna (1991). Some Properties of the Syntactic P-Recursion Categories Generated by Consistent, Recursively Enumerable Extensions of Peano Arithmetic. Journal of Symbolic Logic 56 (2):643-660.
C. Ward Henson, Matt Kaufmann & H. Jerome Keisler (1984). The Strength of Nonstandard Methods in Arithmetic. Journal of Symbolic Logic 49 (4):1039-1058.
Andreas Blass (1974). On Certain Types and Models for Arithmetic. Journal of Symbolic Logic 39 (1):151-162.
J. Michael Dunn (1980). Quantum Mathematics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
Henryk Kotlarski (1983). On Cofinal Extensions of Models of Arithmetic. Journal of Symbolic Logic 48 (2):253-262.
Robert A. Di Paola (1967). Some Theorems on Extensions of Arithmetic. Journal of Symbolic Logic 32 (2):180 - 189.
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |

