Quadratic forms in normal open induction
From MaRDI portal
Publication:3138008
DOI10.2307/2275215zbMath0780.03016OpenAlexW1987541239MaRDI QIDQ3138008
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
normalityPell equationquadratic extensionsring of Gaussian integers\(\mathbb{Z}\)-ringdiscretely ordered ringsmodels of normal open induction
Related Items (1)
Cites Work
This page was built for publication: Quadratic forms in normal open induction