Six equations in search of a finite-fold-ness proof
From MaRDI portal
Publication:6428356
arXiv2303.02208MaRDI QIDQ6428356FDOQ6428356
Authors: Domenico Cantone, Luca Cuzziol, Eugenio Omodeo 
Publication date: 3 March 2023
Abstract: By following the same construction pattern which Martin Davis proposed in a 1968 paper of his, we have obtained six quaternary quartic Diophantine equations that candidate as `rule-them-all' equations: proving that one of them has only a finite number of integer solutions would suffice to ensure that each recursively enumerable set admits a finite-fold polynomial Diophantine representation.
Cubic and quartic Diophantine equations (11D25) Recursively (computably) enumerable sets and degrees (03D25)
This page was built for publication: Six equations in search of a finite-fold-ness proof
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6428356)
