Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1692

Preprint Number 1692

Previous Next Preprint server

1692. Pablo Andujar Guerrero, Margaret E. M. Thomas and Erik Walsberg
Directed sets and topological spaces definable in o-minimal structures

Submission date: 14 November 2019


We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue holds in full generality. We use the theory of tame pairs to extend the results in the field case to definable families of sets with the finite intersection property. We then apply our results to the study of definable topologies. We prove that all definable topological spaces display properties akin to first countability, and give several characterizations of a notion of definable compactness due to Peterzil and Steinhorn generalized to this setting.

Mathematics Subject Classification: 03C64 (Primary), 54A20, 54A05, 54D30 (Secondary)

Keywords and phrases:

Full text arXiv 1911.06409: pdf, ps.

Last updated: March 23 2021 09:21 Please send your corrections to: