Solving Pell equations locally in models of IΔ0
From MaRDI portal
Publication:4212910
DOI10.2307/2586838zbMath0911.03017OpenAlexW1533260127MaRDI QIDQ4212910
Publication date: 27 April 1999
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586838
First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)
Related Items
Commutative unital rings elementarily equivalent to prescribed product rings ⋮ Quadratic forms in models of \(I\Delta_0 + \Omega_1\). II: Local equivalence
Cites Work