Diophantine Undecidability of Holomorphy Rings of Function Fields of Characteristic 0
Résumé
Soit K un corps de fonctions d'une variable sur un corps de caractéristique nulle. Soit R un anneau d'holomorphie de K, distinct de K. On montre que si K est récursif, le dixième problème de Hilbert dans R est indécidable; dans le cas général, il existe un sous-corps F de K, de type fini sur Q, tel qu'il n'y ait aucun algorithme donnant l'existence de solutions dans R d'un système d'équations polynomiales à coefficents dans F.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...