NIP for the Asymptotic Couple of the Field of Logarithmic Transseries

Allen Gehret

The derivation on the differential-valued field ${\mathbb{T}}_{\log }$ of logarithmic transseries induces on its value group ${\Gamma }_{\log }$ a certain map $\psi$. The structure $Γ= (Γ_{\log},…