Models of Peano Arithmetic
Clarendon Press (1991)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Buy the book | $175.10 new (7% off) $178.13 direct from Amazon (5% off) $270.44 used Amazon page | |||||||||
| ISBN(s) | 019853213X | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesHenryk Kotlarski (1984). Some Remarks on Initial Segments in Models of Peano Arithmetic. Journal of Symbolic Logic 49 (3):955-960.
Fred G. Abramson & Leo A. Harrington (1978). Models Without Indiscernibles. Journal of Symbolic Logic 43 (3):572-600.
Richard Kaye (1991). Model-Theoretic Properties Characterizing Peano Arithmetic. Journal of Symbolic Logic 56 (3):949-963.
Lawrence Kiry (1992). Book Review: Richard Kaye. Models of Peano Arithmetic. [REVIEW] Notre Dame Journal of Formal Logic 33 (3):461-463.
George Mills & Jeff Paris (1984). Regularity in Models of Arithmetic. Journal of Symbolic Logic 49 (1):272-280.
Roman Kossak (1995). Four Problems Concerning Recursively Saturated Models of Arithmetic. Notre Dame Journal of Formal Logic 36 (4):519-530.
Kenneth McAloon (1982). On the Complexity of Models of Arithmetic. Journal of Symbolic Logic 47 (2):403-415.
J. F. Pabion (1982). Saturated Models of Peano Arithmetic. Journal of Symbolic Logic 47 (3):625-637.
C. Ward Henson, Matt Kaufmann & H. Jerome Keisler (1984). The Strength of Nonstandard Methods in Arithmetic. Journal of Symbolic Logic 49 (4):1039-1058.
J. Michael Dunn (1980). Quantum Mathematics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
Charles Sayward (2005). Why Axiomatize Arithmetic? Sorites 16:54-61.
James H. Schmerl (2012). Elementary Cuts in Saturated Models of Peano Arithmetic. Notre Dame Journal of Formal Logic 53 (1):1-13.
Shmuel Lifsches & Saharon Shelah (1997). Peano Arithmetic May Not Be Interpretable in the Monadic Theory of Linear Orders. Journal of Symbolic Logic 62 (3):848-872.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-03-20Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
