1 citations · 2 across the 5 of their papers we have counts for
5 papers
One-dimensional definable topological spaces in o-minimal structures
Pablo Andújar Guerrero, Margaret E. M. Thomas
We study the properties of topological spaces , where is a definable set in an o-minimal structure and the topology on has a basis that is (uniformly) definable.…
The Marker-Steinhorn Theorem
Pablo Andújar Guerrero
We give a proof of the Marker-Steinhorn Theorem which fills a gap in previous proofs of the result.
Cardinality of definable families of sets in o-minimal structures
Pablo Andújar Guerrero
We prove that any definable family of subsets of a definable infinite set in an o-minimal structure has cardinality at most . We derive some consequences in terms of count…
Around definable types in -adically closed fields
Pablo Andujar Guerrero, Will Johnson
We prove some technical results on definable types in -adically closed fields, with consequences for definable groups and definable topological spaces. First, the code of a defi…
Types, transversals and definable compactness in o-minimal structures
Pablo Andújar Guerrero
Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing resu…