Revisiting closed asymptotic couples
Logic
2022-03-14 v3
Abstract
Every discrete definable subset of a closed asymptotic couple with ordered scalar field is shown to be contained in a finite-dimensional -linear subspace of that couple. It follows that the differential-valued field 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 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