Quadratic forms in normal open induction

DOI10.2307/2275215MaRDI QIDQ3138008zbMATH OpenOpenAlexFDO

Authors Margarita Otero

Publication date 24 October 1993

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

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

zbMATH Keywords

\(\mathbb{Z}\)-ringdiscretely ordered ringsmodels of normal open inductionnormalityPell equationquadratic extensionsring of Gaussian integers

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Recommendations

• On Diophantine equations solvable in models of open induction
• L'Induction Ouverte Dans Les Anneaux Discrets Ordonnes et Normaux N'est pas Finiment Axiomatisable
• Open induction and the true theory of rationals
• The amalgamation property in normal open induction
• scientific article; zbMATH DE number 4027447

Cites work

• A General Theory of Algebraic Geometry Over Dedekind Domains, II: Separably Generated Extensions and Regular Local Rings
• scientific article; zbMATH DE number 3404329 (Why is no real title available?)
• On Diophantine equations solvable in models of open induction
• Primes and their residue rings in models of open induction

Cited in

(4)

• The joint embedding property in normal open induction
• On Diophantine equations solvable in models of open induction
• Factorization in generalized power series
• L'Induction Ouverte Dans Les Anneaux Discrets Ordonnes et Normaux N'est pas Finiment Axiomatisable

This page was built for publication: Quadratic forms in normal open induction

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