The quest for Diophantine finite-fold-ness

DOI10.4418/2021.76.1.8OpenAlexW3190323987MaRDI QIDQ3383639

Alberto Casagrande, Domenico Cantone, Francesco Fabris, Eugenio Giovanni Omodeo

Publication date: 16 December 2021

Full work available at URL: https://arts.units.it/handle/11368/2992151?mode=full.1443

zbMATH Keywords

Pell's equationexponential-growth relationfinite-fold Diophantine represen tationHilbert's \(10^{\text{th}}\) problemrule-them-all equation

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Recursively (computably) enumerable sets and degrees (03D25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Towards finite-fold Diophantine representations
• The decision problem for exponential diophantine equations
• Diophantine representations of linear recurrences. I
• Diophantine representations of the sequence of solutions of the Pell equation
• Martin Davis and Hilbert’s Tenth Problem
• Register machine proof of the theorem on exponential diophantine representation of enumerable sets
• Algorithmic Information Theory
• Reduction of an arbitrary diophantine equation to one in 13 unknowns
• An explicit diophantine definition of the exponential function
• Existential Definability in Arithmetic

This page was built for publication: The quest for Diophantine finite-fold-ness