Diophantine correct open induction

MaRDI QIDQ3118400zbMATH OpenFDO

Authors Sidney Raffer

Publication date 2 March 2012

Full work available at URL https://arxiv.org/abs/1010.3798

zbMATH Keywords

Diophantine correct modelsdiscretely ordered ringsopen inductionPuiseux polynomials

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) First-order arithmetic and fragments (03F30) Axiomatic model classes (08C10) Nonstandard arithmetic (number-theoretic aspects) (11U10) Ordered rings (13J25)

Abstract: We give an induction-free axiom system for diophantine correct open induction. We relate the problem of whether a finitely generated ring of Puiseux polynomials is diophantine correct to a problem about the value-distribution of a tuple of semialgebraic functions with integer arguments. We use this result, and a theorem of Bergelson and Leibman on generalized polynomials, to identify a class of diophantine correct subrings of the field of descending Puiseux series with real coefficients.

Recommendations

• scientific article; zbMATH DE number 4027447
• Relatively diophantine correct models of arithmetic
• On Diophantine equations solvable in models of open induction
• Open induction and the true theory of rationals
• Primes and their residue rings in models of open induction

Cited in

(2)

• Relatively diophantine correct models of arithmetic
• On Diophantine equations solvable in models of open induction

This page was built for publication: Diophantine correct open induction

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