Dimension and topology in transserial tame pairs
arXiv:2508.16415 · doi:10.1016/j.apal.2026.103810
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.
33 pages; v3: corrections, clarifications, improvements to the exposition, Corollary 5.23 added