2020/10/20 by Annalisa Conversano, Conversano, Annalisa, Marcello Mamino +1
Mathematics · #Advanced Topology and Set Theory #FOS: Mathematics #Group Theory (math.GR) #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Mathematical and Theoretical Analysis
paper · pdf · doi:10.48550/arxiv.2010.10579
openalex publication_date 2020/10/20 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We produce a connected real Lie group that, as a first order structure in the group language, interprets the real field expanded with a predicate for the integers. Moreover, the domain of our interpretation is definable in the group.