Work

Definable separability and second-countability in o-minimal structures

Year: 2025

Type: article

Abstract: 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

Source: Fundamenta Mathematicae

DOI: 10.4064/fm240424-17-1

Author: Pablo Andújar Guerrero

Institution: Universitat de València

Language: English

Topic: Advanced Topology and Set Theory

Subfield: Geometry and Topology

Field: Mathematics

Domain: Physical Sciences

Open Access status: hybrid

Funders: Purdue University, Engineering and Physical Sciences Research Council

Award: Model Theory, Diophantine Geometry and Combinatorics