An explicit diophantine definition of the exponential function
From MaRDI portal
Publication:5626749
DOI10.1002/cpa.3160240205zbMath0222.10017OpenAlexW2073267598WikidataQ126266092 ScholiaQ126266092MaRDI QIDQ5626749
Publication date: 1971
Published in: Communications on Pure and Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/cpa.3160240205
Quadratic and bilinear Diophantine equations (11D09) Higher degree equations; Fermat's equation (11D41) Representation functions (11B34)
Related Items (12)
A direct method for simulating partial recursive functions by Diophantine equations ⋮ Diophantine representations of linear recurrences. I ⋮ The quest for Diophantine finite-fold-ness ⋮ A new proof of the theorem on exponential diophantine representation of enumerable sets ⋮ Diophantine representations of linear recurrent sequences. II ⋮ My Life as a Logician ⋮ Martin Davis and Hilbert’s Tenth Problem ⋮ Three universal representations of recursively enumerable sets ⋮ Some nonstationary linear and quasilinear systems occuring in the investigation of the motion of viscous fluids ⋮ Existence of noneffectivizable estimates in the theory of exponential Diophantine equations ⋮ Constructive mathematics and mathematical logic. Part X. Transl. from the Russian ⋮ On the Number of Solutions of Diophantine Equations
This page was built for publication: An explicit diophantine definition of the exponential function
