TY - RPRT TI - Definable separability and second-countability in o-minimal structures AU - Pablo Andújar Guerrero PY - 2025 UR - https://arxiv.org/abs/2405.07114 ID - 2405.07114 ER -