Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1448

Preprint Number 1448

Previous Next Preprint server

1448. Santiago Camacho
Truncation in Differential Hahn Fields

Submission date: 14 June 2018


Being closed under truncation for subsets of generalized series fields is a robust property in the sense that it is preserved under various algebraic and transcendental extension procedures. Nevertheless, in Chapter 4 of this dissertation, we show that generalized series fields with truncation as an extra primitive yields undecidability in several settings. Our main results, however, concern the robustness of being truncation closed in generalized series fields equipped with a derivation, and under extension procedures that involve this derivation. In the last chapter, we study this in the ambient field T of logarithmic-exponential transseries. It leads there to a theorem saying that under a natural `splitting' condition the Liouville closure of a truncation closed differential subfield of T is again truncation closed.

Mathematics Subject Classification: 03C64

Keywords and phrases:

Full text arXiv 1806.05309: pdf, ps.

Last updated: June 19 2018 11:42 Please send your corrections to: