4 papers
NTP2 topological structures
Pablo Andújar Guerrero
A subset of a topological space is constructible if it is a finite Boolean combination of closed sets. We prove that every NTP expansion of by constructible…
Orthogonality and domination in o-minimal expansions of ordered groups
Pablo Andújar Guerrero, Pantelis E. Eleftheriou, Rosario Mennuni
We analyse domination between invariant types in o-minimal expansions of ordered groups, showing that the domination poset decomposes as the direct product of two posets: the domin…
Definable separability and second-countability in o-minimal structures
Pablo Andújar Guerrero
We show that separability and second-countability are first-order properties among topological spaces definable in o-minimal expansions of . We do so by introducing…
Definable compactness in o-minimal structures
Pablo Andújar Guerrero
We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018…