Definable separability and second-countability in o-minimal structures | Publicación