On Diophantine equations solvable in models of open induction

DOI10.2307/2274664MaRDI QIDQ3481698zbMATH OpenOpenAlexFDO

Authors Margarita Otero

Publication date 1990

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274664

zbMATH Keywords

IOpensubsystem of PA

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Quadratic and bilinear Diophantine equations (11D09) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15) Nonstandard arithmetic (number-theoretic aspects) (11U10)

Recommendations

• scientific article; zbMATH DE number 4027447
• Diophantine equations in fragments in arithmetic
• L'arithmétique ouverte et ses modèles non-standards
• Diophantine correct open induction
• Quadratic forms in normal open induction

Cites work

• scientific article; zbMATH DE number 3334317 (Why is no real title available?)
• Primes and their residue rings in models of open induction

Cited in

(12)

• Factorization in generalized power series
• Relatively diophantine correct models of arithmetic
• scientific article; zbMATH DE number 4027447 (Why is no real title available?)
• Diophantine correct open induction
• A recursive nonstandard model of normal open induction
• Fragments of IOpen
• Quadratic forms in normal open induction
• Division by zero
• Hilbert's tenth problem for weak theories of arithmetic
• Diophantine equations in fragments in arithmetic
• Discrete orderings in the real spectrum
• The joint embedding property in normal open induction

This page was built for publication: On Diophantine equations solvable in models of open induction

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