Definable separability and second-countability in o-minimal structures
We show that separability and second-countability are first-order properties of topological spaces definable in o-minimal expansions of $(\mathbb R, \lt )$. We do so by introducing first-order characterizations – definable separability and definable secon
Authors
- Pablo Andújar Guerrero (ORCID: https://orcid.org/0000-0001-5160-5366)
Institutions
- Universitat de València (ES)
Publication Details
- Journal
- Fundamenta Mathematicae
- Published
- 2025-01-01
- DOI
- https://doi.org/10.4064/fm240424-17-1
- Primary Topic
- Advanced Topology and Set Theory
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Purdue University
- Engineering and Physical Sciences Research Council