Indécidabilité des corps de courbe réelle

Bélair, Luc et Duret, Jean-Louis (1994). « Indécidabilité des corps de courbe réelle ». The Journal of Symbolic Logic, 59(01), pp. 87-91.

Fichier(s) associé(s) à ce document :
[img]
Prévisualisation
PDF
Télécharger (511kB)

Résumé

Nous dirons qu'un corps (commutatif) K est un corps de courbe réelle sur le corps k si et seulement si c'est une extension de k, ordonnable, finiment engendrée et de degré de transcendance 1 sur k, telle que k soit relativement algébriquement clos dans K. Un tel corps est le corps d'une courbe (plane) définie sur k. De plus si k est réel-clos, toute courbe définie sur k dont K est le corps, a un point régulier rationnel sur k; en effet soit I ⊂ k[X 0,…, Xn ] l'idéal d'une telle courbe Γ; on a donc: K = k[x 0,…, xn ] où x 0,…, xn sont les classes d'équivalence de X 0,…, Xn ; (x 0,…, xn ) est un point régulier de Γ dans la clôture réelle de K, et par modèle-complétude, Γ a un point régulier rationnel sur k. Notre but est d'étendre les résultats de Raphael Robinson [6] sur l'indécidabilité des corps de fractions rationnelles sur un corps ordonnable (dans le langage des corps). Comme lui, nous donnerons une méthode qui ne s'applique que lorsque le corps de base k est réel-clos, et une seconde méthode générale.

Type: Article de revue scientifique
Mots-clés ou Sujets: corps de courbe réelle; indécidabilité des corps
Unité d'appartenance: Faculté des sciences > Département de mathématiques
Déposé par: Luc Bélair
Date de dépôt: 18 avr. 2016 14:17
Dernière modification: 19 mai 2016 17:51
Adresse URL : http://archipel.uqam.ca/id/eprint/8163

Statistiques

Voir les statistiques sur cinq ans...