Exponential fields and Conway’s omega-map

Inspired by Conway’s surreal numbers, we study real closed fields whose value group is isomorphic to the additive reduct of the field. We call such fields omega-fields and we prove that any omega-field of bounded Hahn series with real coefficients admits an exponential function making it into a mode...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Proceedings of the American Mathematical Society 2023-03, Vol.151 (6), p.2655-2669
Hauptverfasser: Berarducci, Alessandro, Kuhlmann, Salma, Mantova, Vincenzo, Matusinski, Mickaël
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Inspired by Conway’s surreal numbers, we study real closed fields whose value group is isomorphic to the additive reduct of the field. We call such fields omega-fields and we prove that any omega-field of bounded Hahn series with real coefficients admits an exponential function making it into a model of the theory of the real exponential field. We also consider relative versions with more general coefficient fields.
ISSN:0002-9939
1088-6826
DOI:10.1090/proc/14577