Pages that link to "Item:Q5626749"

The following pages link to An explicit diophantine definition of the exponential function (Q5626749):

Displaying 12 items.

• A new proof of the theorem on exponential diophantine representation of enumerable sets (Q1147132) (← links)
• Some nonstationary linear and quasilinear systems occuring in the investigation of the motion of viscous fluids (Q1251139) (← links)
• Existence of noneffectivizable estimates in the theory of exponential Diophantine equations (Q1256452) (← links)
• A direct method for simulating partial recursive functions by Diophantine equations (Q1326783) (← links)
• Diophantine representations of linear recurrences. I (Q1376907) (← links)
• Constructive mathematics and mathematical logic. Part X. Transl. from the Russian (Q1578747) (← links)
• Diophantine representations of linear recurrent sequences. II (Q1977917) (← links)
• Three universal representations of recursively enumerable sets (Q3048819) (← links)
• My Life as a Logician (Q3305314) (← links)
• Martin Davis and Hilbert’s Tenth Problem (Q3305315) (← links)
• The quest for Diophantine finite-fold-ness (Q3383639) (← links)
• On the Number of Solutions of Diophantine Equations (Q5183480) (← links)