Non-Diophantine sets in rings of functions
arXiv:2210.10556
Abstract
Except for a limited number of cases, a complete classification of the Diophantine sets of polynomial rings and fields of rational functions seems out of reach at present. We contribute to this problem by proving that several natural sets and relations over these structures are not Diophantine.