La définissabilité des entiers dans les corps de courbes réelles archimédiens

Bélair, Luc (2003). « La définissabilité des entiers dans les corps de courbes réelles archimédiens ». Comptes Rendus de l'Académie des sciences de Paris Série I, 336, pp. 459-462.

Fichier(s) associé(s) à ce document :
[img] PDF
Accès restreint

Télécharger (80kB) | Demande de copie

Résumé

Résumé On montre que les entiers naturels sont définissables dans les corps de courbes réelles sur un corps ordonnable qui admet au moins un ordre archimédien. Ceci généralise le résultat de Raphael Robinson sur les corps de fonctions rationnelles. Pour citer cet article : L. Bélair, C. R. Acad. Sci. Paris, Ser. I 336 (2003). Abstract We show that the natural numbers are definable in the function field of a curve over a formally real field which admits at least one Archimedean order. This generalises Raphael Robinson's result on fields of rational functions. To cite this article: L. Bélair, C. R. Acad. Sci. Paris, Ser. I 336 (2003).

Type: Article de revue scientifique
Informations complémentaires: CORRECTION: p. 460, ligne 5, « un point régulier avec une coordonnée rationnelle sur k »
Mots-clés ou Sujets: Corps, archimédiens. courbes, entiers, définissable, théorie des modèles
Unité d'appartenance: Faculté des sciences > Département de mathématiques
Déposé par: Luc Bélair
Date de dépôt: 07 déc. 2008
Dernière modification: 01 nov. 2014 02:07
Adresse URL : http://archipel.uqam.ca/id/eprint/1472

Statistiques

Voir les statistiques sur cinq ans...