A Recursive Nonstandard Model of Normal Open Induction
Berarducci, Alessandro ; Otero, Margarita
J. Symbolic Logic, Tome 61 (1996) no. 1, p. 1228-1241 / Harvested from Project Euclid
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.
Publié le : 1996-12-14
Classification: 
@article{1183745132,
     author = {Berarducci, Alessandro and Otero, Margarita},
     title = {A Recursive Nonstandard Model of Normal Open Induction},
     journal = {J. Symbolic Logic},
     volume = {61},
     number = {1},
     year = {1996},
     pages = { 1228-1241},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745132}
}
Berarducci, Alessandro; Otero, Margarita. A Recursive Nonstandard Model of Normal Open Induction. J. Symbolic Logic, Tome 61 (1996) no. 1, pp.  1228-1241. http://gdmltest.u-ga.fr/item/1183745132/