Value Groups and Residue Fields of Models of Real Exponentiation

zbMath1459.13015arXiv1803.03153MaRDI QIDQ5224153

Lothar Sebastian Krapp

Publication date: 19 July 2019

Full work available at URL: https://arxiv.org/abs/1803.03153

zbMATH Keywords

exponential fieldsformal power seriesexponential groupso-minimal theoriesreal exponentiation\(\eta_\alpha\) groups and fields

Mathematics Subject Classification ID

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