Scifaro

中文

六个寻求有限重数证明的方程

数论 2024-10-01 v3 逻辑

作者: Domenico Cantone , Luca Cuzziol , Eugenio G. Omodeo

在 arXiv 上查看 ↗ PDF ↗

摘要

遵循 Martin Davis 在其 1968 年论文中提出的相同构造模式，我们得到了六个四元四次丢番图方程，它们可作为“统揽全局”方程的候选：证明其中任意一个仅具有有限个整数解，便足以保证每个递归可枚举集都容许一个有限重数的多项式丢番图表示。

关键词

丢番图方程递归可枚举集有限重数表示四次方程可判定性

引用

@article{arxiv.2303.02208,
  title  = {Six equations in search of a finite-fold-ness proof},
  author = {Domenico Cantone and Luca Cuzziol and Eugenio G. Omodeo},
  journal= {arXiv preprint arXiv:2303.02208},
  year   = {2024}
}