Solving Pell equations locally in models of IΔ0

DOI10.2307/2586838zbMath0911.03017OpenAlexW1533260127MaRDI QIDQ4212910

Paola D'Aquino

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

zbMATH Keywords

Pell equationbounded arithmeticHensel lemmamodels of bounded induction

Mathematics Subject Classification ID

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

• Unnamed Item
• Diophantine induction
• Combinatorial principles in elementary number theory
• Provability of the pigeonhole principle and the existence of infinitely many primes