Directed sets and topological spaces definable in o‐minimal structures

DOI10.1112/jlms.12446zbMath1490.03022arXiv1911.06409OpenAlexW2983192329MaRDI QIDQ3384030

Pablo Andújar Guerrero, Erik Walsberg, Margaret E. M. Thomas

Publication date: 16 December 2021

Published in: Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1911.06409

zbMATH Keywords

o-minimal structuredefinable directed setdefinable topological space

Mathematics Subject Classification ID

Compactness (54D30) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Model theory of ordered structures; o-minimality (03C64)

Cites Work

• Unnamed Item
• Topological model theory
• Structure theorems for o-minimal expansions of groups
• Definable one-dimensional topologies in o-minimal structures
• Convergence results for function spaces over o-minimal structures
• Structures having o-minimal open core
• First order topological structures and theories
• Definable types in -minimal theories
• Definable Compactness and Definable Subgroups of o-Minimal Groups
• INTERPRETABLE SETS IN DENSE O-MINIMAL STRUCTURES
• T-convexity and tame extensions
• On o-minimal expansions of Archimedean ordered groups
• Definable linear orders definably embed into lexicographic orders in o-minimal structures
• Definably extending partial orders in totally ordered structures

This page was built for publication: Directed sets and topological spaces definable in o‐minimal structures