La définissabilité des entiers dans les corps de courbes réelles archimédiens - 01/01/03
pages | 4 |
Iconographies | 0 |
Vidéos | 0 |
Autres | 0 |
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).
Plan
Vol 336 - N° 6
P. 459-462 - mars 2003 Retour au numéroBienvenue sur EM-consulte, la référence des professionnels de santé.
L’accès au texte intégral de cet article nécessite un abonnement.
Bienvenue sur EM-consulte, la référence des professionnels de santé.
L’achat d’article à l’unité est indisponible à l’heure actuelle.
Déjà abonné à cette revue ?