Real Lie groups and o-minimality

2021/04/03 by Annalisa Conversano, Conversano, Annalisa, Alf Onshuus +3
Mathematics · #03C64 #06F25 #20J06 #22E25 #Advanced Topics in Algebra #Advanced Topology and Set Theory #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO)

paper · pdf · doi:10.48550/arxiv.2104.01484

openalex publication_date 2021/04/03 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We characterize, up to Lie isomorphism, the real Lie groups that are definable in an o-minimal expansion of the real field.

Related

• Solvable Lie groups definable in o-minimal theories
• Continuous isomorphisms between groups definable in o-minimal expansions of the real field
• A definability criterion for connected Lie groups
• Connected components of definable groups, and o-minimality II
• One Lie group to define them all