Dimension and topology in transserial tame pairs
Abstract
Every maximal Hardy field has a proper elementary differential subfield that is Dedekind complete in the maximal Hardy field. This pair of Hardy fields is a transserial tame pair, shown to have a complete and model complete elementary theory in arXiv:2408.07033. This paper introduces a dimension in transserial tame pairs and shows that it equals the (naive) dimension coming from the order topology. In particular, the dimension is definable in a certain sense, and is the unique definable dimension in a transserial tame pair. Further, transserial tame pairs are locally o-minimal and d-minimal. These properties and the dimension are used to establish topological properties of definable sets in transserial tame pairs, including a definable Baire category theorem.
Cite
@article{arxiv.2508.16415,
title = {Dimension and topology in transserial tame pairs},
author = {Nigel Pynn-Coates},
journal= {arXiv preprint arXiv:2508.16415},
year = {2025}
}
Comments
31 pages; v2: clarifications and corrections