Solving Pell Equations Locally in Models of I$\Delta_0$
D'Aquino, Paola
J. Symbolic Logic, Tome 63 (1998) no. 1, p. 402-410 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
In [4] it is shown that only using exponentiation can one prove the existence of non trivial solutions of Pell equations in I$\Delta_0$. However, in this paper we will prove that any Pell equation has a non trivial solution modulo m for every m in I$\Delta_0$.
Publié le : 1998-06-14
Classification:  
@article{1183745508,
     author = {D'Aquino, Paola},
     title = {Solving Pell Equations Locally in Models of I$\Delta\_0$},
     journal = {J. Symbolic Logic},
     volume = {63},
     number = {1},
     year = {1998},
     pages = { 402-410},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745508}
}

D'Aquino, Paola. Solving Pell Equations Locally in Models of I$\Delta_0$. J. Symbolic Logic, Tome 63 (1998) no. 1, pp.  402-410. http://gdmltest.u-ga.fr/item/1183745508/