Value groups and residue fields of models of real exponentiation
@article{Krapp2019ValueGA, title={Value groups and residue fields of models of real exponentiation}, author={L. S. Krapp}, journal={J. Log. Anal.}, year={2019}, volume={11} }
Let $F$ be an archimedean field, $G$ a divisible ordered abelian group and $h$ a group exponential on $G$. A triple $(F,G,h)$ is realised in a non-archimedean exponential field $(K,\exp)$ if the residue field of $K$ under the natural valuation is $F$ and the induced exponential group of $(K,\exp)$ is $(G,h)$. We give a full characterisation of all triples $(F,G,h)$ which can be realised in a model of real exponentiation in the following two cases: i) $G$ is countable. ii) $G$ is $\kappa… CONTINUE READING
Topics from this paper
One Citation
References
SHOWING 1-10 OF 28 REFERENCES
Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
- Mathematics
- 1996
- 404
- Highly Influential
- PDF
On the existence of real-closed fields that are _{}-sets of power ℵ_{}
- Mathematics
- 1962
- 30
- Highly Influential
- PDF
An effective version of Wilkie's theorem of the complement and some effective o-minimality results
- Mathematics, Computer Science
- Ann. Pure Appl. Log.
- 2004
- 15
- PDF
On o-Minimal Expansions of Archimedean Ordered Groups
- Mathematics, Computer Science
- J. Symb. Log.
- 1995
- 27