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.
|Autori:||BERARDUCCI A; OTERO M|
|Titolo:||A recursive nonstandard model of Normal Open Induction|
|Anno del prodotto:||1996|
|Digital Object Identifier (DOI):||10.2307/2275813|
|Appare nelle tipologie:||1.1 Articolo in rivista|