English

Revisiting closed asymptotic couples

Logic 2022-03-14 v3

Abstract

Every discrete definable subset of a closed asymptotic couple with ordered scalar field k\boldsymbol k is shown to be contained in a finite-dimensional k\boldsymbol k-linear subspace of that couple. It follows that the differential-valued field T\mathbb T of transseries induces more structure on its value group than what is definable in its asymptotic couple equipped with its scalar multiplication by real numbers, where this asymptotic couple is construed as a two-sorted structure with R\mathbb R as the underlying set for the second sort.

Keywords

Cite

@article{arxiv.2110.02107,
  title  = {Revisiting closed asymptotic couples},
  author = {Matthias Aschenbrenner and Lou van den Dries and Joris van der Hoeven},
  journal= {arXiv preprint arXiv:2110.02107},
  year   = {2022}
}

Comments

23 pp

R2 v1 2026-06-24T06:38:20.637Z