Revisiting closed asymptotic couples

Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven

Every discrete definable subset of a closed asymptotic couple with ordered scalar field $\mathbf{k}$ is shown to be contained in a finite-dimensional $\mathbf{k}$-linear subs…