On diophantine singlefold specifications
Abstract
Consider an (m+1)-ary relation over the set N of natural numbers. Does there exist an arithmetical formula ⏀i(a0,...,am,x1,...,xk), not involving universal quantifiers, negation, or implication,
such that representation and univocity conditions are met by each tuple in Nm+1 ?
Even if solely addition and multiplication operators (along with the equality relator and with positive integer constants) are adopted as primitive symbols of the arithmetical signature, the graph of any primitive recursive function is representable; but can representability be reconciled with univocity without calling into play one extra operation, namely ⟨b , n⟩ → bn ? As a preparatory step toward a hoped-for positive answer to this issue, one may consider replacing the exponentiation operator by any exponential-growth relation.
We discuss the said univocity, aka `singlefold-ness', issue–first raised by Yuri Matiyasevich in 1974–, framing it in historical context. Moreover, we spotlight eight exponential-growth relation any of which, if Diophantine, could supersede exponentiation in our quest.
Downloads
Published
Issue
Section
License
Copyright (c) 2024 D. Cantone, L. Cuzziol, E.G. Omodeo

This work is licensed under a Creative Commons Attribution 4.0 International License.
The authors retain all rights to the original work without any restrictions.
License for Published Contents
"Le Matematiche" published articlesa are distribuited with Creative Commons Attribution 4.0 International. You are free to copy, distribute and transmit the work, and to adapt the work. You must attribute the work in the manner specified by the author or licensor (but not in any way that suggests that they endorse you or your use of the work).
License for Metadata
"Le Matematiche" published articles metadata are dedicated to the public domain by waiving all publisher's rights to the work worldwide under copyright law, including all related and neighboring rights, to the extent allowed by law.
You can copy, modify, distribute and perform the work, even for commercial purposes, all without asking permission.
No Fee Charging
No fee is required to complete the submission/review/publishing process of authors paper.