Pell equations and exponentiation in fragments of arithmetic

DOI10.1016/0168-0072(95)00018-6zbMath0855.03034OpenAlexW2059666897MaRDI QIDQ1919524

Paola D'Aquino

Publication date: 23 July 1996

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(95)00018-6

zbMATH Keywords

Pell equationexponentiationrecursion lawsrelative strength of two axioms

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items

Quadratic forms in models of \(I\Delta _{0}+\Omega _{1}\). I, Toward the limits of the Tennenbaum phenomenon, Pell Equations and Weak Regularity Principles, Quadratic forms in models of \(I\Delta_0 + \Omega_1\). II: Local equivalence, Algebraic combinatorics in bounded induction, The Skolem-Bang theorems in ordered fields with an IP, Weak forms of the Regularity Principle in the presence of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf {\mathsf {I}{\mathrm{E}}_1}$\end{document}

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Diophantine induction
• On the scheme of induction for bounded arithmetic formulas
• Overspill and fragments of arithmetic
• Bounded existential induction
• Proof of Recursive Unsolvability of Hilbert's Tenth Problem
• Local behaviour of the Chebyshev theorem in models of I⊿₀
• Provability of the pigeonhole principle and the existence of infinitely many primes
• Existence and feasibility in arithmetic
• Existential Definability in Arithmetic