Hostname: page-component-78c5997874-v9fdk Total loading time: 0 Render date: 2024-11-20T03:36:09.821Z Has data issue: false hasContentIssue false
  • English
  • Français

Solving Pell equations locally in models of IΔ0

Published online by Cambridge University Press:  12 March 2014

Paola D'Aquino
Paola D'Aquino*
Affiliation:
Istituto di Matematica, Seconda Università di Napoli, Piazza Duomo, 81100 Caserta, Italy
Get access Rights & Permissions [Opens in a new window]

Abstract

In [4] it is shown that only using exponentiation can one prove the existence of non trivial solutions of Pell equations in IΔ0. However, in this paper we will prove that any Pell equation has a non trivial solution modulo m for every m in IΔ0.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 63 , Issue 2 , June 1998 , pp. 402 - 410
Copyright
Copyright © Association for Symbolic Logic 1998

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] Bennett, J. H., On spectra, Doctoral dissertation , Princeton University, 1962.Google Scholar
[2] Berarducci, A. and Intrigila, B., Combinatorial principles in elementary number theory, Annals of Pure and Applied Logic, vol. 55 (1991), pp. 35–50.Google Scholar
[3] D'Aquino, P., Local behaviour of Chebyshev theorem in models of IΔ0 , this Journal, vol. 57 (1992), no. 1, pp. 12–27.Google Scholar
[4] D'Aquino, P., Pell equations and fragments of arithmetic, Annals of Pure and Applied Logic (1996).Google Scholar
[5] Dimitracopoulos, C., Matijasevic theorem and fragments of arithmetic, Ph.D. thesis , Manchester, 1980.Google Scholar
[6] Kaye, R., Diophantine induction, Annals of Pure and Applied Logic, vol. 46 (1990), pp. 1–40.Google Scholar
[7] Lang, S., Algebra, 3rd ed., Addison Wesley, New York, 1993.Google Scholar
[8] Parikh, R., Existence andfeasibility in arithmetic, this Journal, vol. 36 (1971), no. 3, pp. 494–508.Google Scholar
[9] Paris, J. B., Wilkie, A., and Woods, A., Provability of the pigeonhole principle and the existence of infinitely many primes, this Journal, vol. 53 (1988), no. 4, pp. 1235–1244.Google Scholar
[10] Pudlàk, P., A definition of exponentiation by a bounded arithmetical formula, Commentationes Mathematicae Universitatis Carolinae, vol. 24 (1983), no. 4, pp. 667–671.Google Scholar