Value Groups and Residue Fields of Models of Real Exponentiation
From MaRDI portal
Publication:5224153
zbMath1459.13015arXiv1803.03153MaRDI QIDQ5224153
Publication date: 19 July 2019
Full work available at URL: https://arxiv.org/abs/1803.03153
exponential fieldsformal power seriesexponential groupso-minimal theoriesreal exponentiation\(\eta_\alpha\) groups and fields
Valuations, completions, formal power series and related constructions (associative rings and algebras) (16W60) Formal power series rings (13F25) Model theory of ordered structures; o-minimality (03C64) Valued fields (12J10) Power series rings (13J05)
Related Items (2)
Embedding the prime model of real exponentiation into o‐minimal exponential fields ⋮ Models of true arithmetic are integer parts of models of real exponentation
Cites Work
- Unnamed Item
- Embedding ordered fields in formal power series fields
- Mini-workshop: Surreal numbers, surreal analysis, Hahn fields and derivations. Abstracts from the mini-workshop held December 18--23, 2016
- An isomorphism theorem for real-closed fields
- Definably complete Baire structures
- Some remarks on $η_α$-sets
- An analogue of the Baire category theorem
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
This page was built for publication: Value Groups and Residue Fields of Models of Real Exponentiation