On Diophantine equations solvable in models of open induction

DOI10.2307/2274664zbMATH Open0703.03037OpenAlexW2123665570MaRDI QIDQ3481698FDOQ3481698

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

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

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)

Cites Work

• Primes and their residue rings in models of open induction
• Title not available (Why is that?)

Cited In (12)

• Factorization in generalized power series
• Title not available (Why is that?)
• Diophantine correct open induction
• Relatively diophantine correct models of arithmetic
• 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)