A recursive nonstandard model of normal open induction
Journal of Symbolic Logic 61 (4):1228-1241 (1996)
| Abstract | Models of normal open induction are those normal discretely ordered rings whose nonnegative part satisfy Peano's axioms for open formulas in the language of ordered semirings. (Where normal means integrally closed in its fraction field.) In 1964 Shepherdson gave a recursive nonstandard model of open induction. His model is not normal and does not have any infinite prime elements. In this paper we present a recursive nonstandard model of normal open induction with an unbounded set of infinite prime elements | |||||||||
| 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,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesYiannis N. Moschovakis (1974/2008). Elementary Induction on Abstract Structures. Dover Publications.
Jeremy Avigad & Jeffrey Helzner (2002). Transfer Principles in Nonstandard Intuitionistic Arithmetic. Archive for Mathematical Logic 41 (6):581-602.
Joseph Barback (1994). Torre Models in the Isols. Journal of Symbolic Logic 59 (1):140-150.
David Marker (1991). End Extensions of Normal Models of Open Induction. Notre Dame Journal of Formal Logic 32 (3):426-431.
Kenneth McAloon (1982). On the Complexity of Models of Arithmetic. Journal of Symbolic Logic 47 (2):403-415.
Margarita Otero (1992). The Amalgamation Property in Normal Open Induction. Notre Dame Journal of Formal Logic 34 (1):50-55.
Stuart T. Smith (1987). Nonstandard Characterizations of Recursive Saturation and Resplendency. Journal of Symbolic Logic 52 (3):842-863.
Margarita Otero (1990). On Diophantine Equations Solvable in Models of Open Induction. Journal of Symbolic Logic 55 (2):779-786.
Margarita Otero (1993). Quadratic Forms in Normal Open Induction. Journal of Symbolic Logic 58 (2):456-476.
Analytics
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? |
My notes
Discussion
