On Diophantine equations solvable in models of open induction

DOI10.2307/2274664zbMath0703.03037OpenAlexW2123665570MaRDI QIDQ3481698

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

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

Related Items

Division by zero ⋮ Discrete orderings in the real spectrum ⋮ Hilbert's tenth problem for weak theories of arithmetic ⋮ Factorization in generalized power series ⋮ A recursive nonstandard model of normal open induction ⋮ Quadratic forms in normal open induction

Cites Work

• Unnamed Item
• Primes and their residue rings in models of open induction