Exponential fields and Conway's omega-map
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2018
- DOI:
- 10.48550/arXiv.1810.03029
- arXiv:
- arXiv:1810.03029
- Bibcode:
- 2018arXiv181003029B
- Keywords:
-
- Mathematics - Logic;
- Primary 03C64;
- Secondary 16W60
- E-Print:
- 15 pages