An explicit diophantine definition of the exponential function

DOI10.1002/CPA.3160240205MaRDI QIDQ5626749zbMATH OpenOpenAlexWikidataFDO

Authors Martin Davis

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

Mathematics Subject Classification ID

Representation functions (11B34) Quadratic and bilinear Diophantine equations (11D09) Higher degree equations; Fermat's equation (11D41)

Cited in

(12)

• A new proof of the theorem on exponential diophantine representation of 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
• A direct method for simulating partial recursive functions by Diophantine equations
• Diophantine representations of linear recurrences. I
• Constructive mathematics and mathematical logic. Part X. Transl. from the Russian
• Diophantine representations of linear recurrent sequences. II
• Three universal representations of recursively enumerable sets
• My Life as a Logician
• Martin Davis and Hilbert's tenth problem
• The quest for Diophantine finite-fold-ness
• On the Number of Solutions of Diophantine Equations

This page was built for publication: An explicit diophantine definition of the exponential function

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5626749)