Relatively diophantine correct models of arithmetic

DOI10.1305/NDJFL/1093636946MaRDI QIDQ1097277zbMATH OpenOpenAlexFDO

Authors Bonnie Gold

Publication date 1987

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093636946

zbMATH Keywords

back- and-forth constructionMatijasevič theoremmodels of arithmeticPeano Arithmetic

Mathematics Subject Classification ID

Other model constructions (03C30) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Review text

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.

Recommendations

• Diophantine correct open induction
• On embedding models of arithmetic of cardinality \aleph₁into reduced powers
• On M-recursively saturated models of arithmetic
• Models of arithmetic in \(A\)-isols
• On Diophantine equations solvable in models of open induction

Cited in

(3)

• Melvin models and Diophantine approximation
• Diophantine correct open induction
• On embedding models of arithmetic of cardinality \aleph₁into reduced powers

This page was built for publication: Relatively diophantine correct models of arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1097277)