Quadratic forms in normal open induction
From MaRDI portal
Publication:3138008
DOI10.2307/2275215zbMath0780.03016MaRDI 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
normality; Pell equation; quadratic extensions; ring of Gaussian integers; \(\mathbb{Z}\)-ring; discretely ordered rings; models of normal open induction
03C62: Models of arithmetic and set theory
Related Items
Cites Work