Pell equations and exponentiation in fragments of arithmetic

Annals of Pure and Applied Logic 77 (1):1-34 (1996)
  Copy   BIBTEX

Abstract

We study the relative strength of the two axioms Every Pell equation has a nontrivial solution Exponentiation is total over weak fragments, and we show they are equivalent over IE1. We then define the graph of the exponential function using only existentially bounded quantifiers in the language of arithmetic expanded with the symbol #, where # = x[log2y]. We prove the recursion laws of exponentiation in the corresponding fragment

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(95)00018-6

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Solving Pell equations locally in models of IΔ0.Paola D'Aquino - 1998 - Journal of Symbolic Logic 63 (2):402-410.
Pseudo-exponentiation on algebraically closed fields of characteristic zero.Boris Zilber - 2005 - Annals of Pure and Applied Logic 132 (1):67-95.
A note on exponentiation.Ch Cornaros & C. Dimitracopoulos - 1993 - Journal of Symbolic Logic 58 (1):64-71.
Ordinal Exponentiations of Sets.Laurence Kirby - 2015 - Notre Dame Journal of Formal Logic 56 (3):449-462.
The strength of sharply bounded induction.Emil Jeřábek - 2006 - Mathematical Logic Quarterly 52 (6):613-624.
Κ -bounded exponential-logarithmic power series fields.Salma Kuhlmann & Saharon Shelah - 2005 - Annals of Pure and Applied Logic 136 (3):284-296.
A Note on the Axioms for Zilber’s Pseudo-Exponential Fields.Jonathan Kirby - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):509-520.
A note on parameter free Π1 -induction and restricted exponentiation.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2011 - Mathematical Logic Quarterly 57 (5):444-455.
Weak forms of the Regularity Principle in the presence of equation image.Charalampos Cornaros - 2013 - Mathematical Logic Quarterly 59 (1-2):84-100.
Toward the Limits of the Tennenbaum Phenomenon.Paola D'Aquino - 1997 - Notre Dame Journal of Formal Logic 38 (1):81-92.

Analytics

Added to PP
2014-01-16

Downloads
20 (#1,050,317)

6 months
8 (#613,944)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Quadratic forms in models of I Δ 0 + Ω 1. I.Paola D’Aquino & Angus Macintyre - 2007 - Annals of Pure and Applied Logic 148 (1):31-48.
Toward the Limits of the Tennenbaum Phenomenon.Paola D'Aquino - 1997 - Notre Dame Journal of Formal Logic 38 (1):81-92.
Solving Pell equations locally in models of IΔ0.Paola D'Aquino - 1998 - Journal of Symbolic Logic 63 (2):402-410.
Algebraic combinatorics in bounded induction.Joaquín Borrego-Díaz - 2021 - Annals of Pure and Applied Logic 172 (2):102885.

View all 6 citations / Add more citations

References found in this work

On the scheme of induction for bounded arithmetic formulas.A. J. Wilkie & J. B. Paris - 1987 - Annals of Pure and Applied Logic 35 (C):261-302.
Existence and feasibility in arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.
Bounded existential induction.George Wilmers - 1985 - Journal of Symbolic Logic 50 (1):72-90.
Diophantine Induction.Richard Kaye - 1990 - Annals of Pure and Applied Logic 46 (1):1-40.

View all 9 references / Add more references