Adapts Mourgues-Ressayre constructions to show T0-reducts of T-λ-spherical completions are truncation-closed when the power series family is closed under truncations and derivatives, yielding initial embeddings of models into surreals for exponentiation-defining theories.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2024 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Truncations in languages of generalized power series and the structure of $T$-$\lambda$-spherical completions of o-minimal fields
Adapts Mourgues-Ressayre constructions to show T0-reducts of T-λ-spherical completions are truncation-closed when the power series family is closed under truncations and derivatives, yielding initial embeddings of models into surreals for exponentiation-defining theories.