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

✍ Scribed by Luc Bélair

• Publisher: Elsevier Science
• Year: 2003
• Tongue: English
• Weight: 79 KB
• Volume: 336
• Category: Article
• ISSN: 1631-073X
• DOI: 10.1016/s1631-073x(03)00115-8

✦ Synopsis

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.