Relatively diophantine correct models of arithmetic (Q1097277)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Relatively diophantine correct models of arithmetic |
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Relatively diophantine correct models of arithmetic |
scientific article |
Statements
Relatively diophantine correct models of arithmetic (English)
0 references
1987
0 references
If M and N are models of Peano Arithmetic and M is an extension of N, then M is called N-diophantine correct of every polynomial with coefficients from M which has a root in M has already a root in N. It is shown that, for countable N and M, M is N-diophantine correct iff for every a in M, \(N<a\), there is an embedding f of M onto an initial segment I of M such that \(I<a\) and f is the identity function on N. This generalizes a result of \textit{L. Lipshitz} [Proc. Am. Math. Soc. 73, 107- 108 (1979; Zbl 0402.03055)] where the same is proven in the case when N is the standard model. The proof is based on the Matijasevič theorem and a back-and-forth construction.
0 references
models of arithmetic
0 references
Peano Arithmetic
0 references
Matijasevič theorem
0 references
back- and-forth construction
0 references