One Lie group to define them all
Logic
2021-08-20 v2 Group Theory
Abstract
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.
Cite
@article{arxiv.2010.10579,
title = {One Lie group to define them all},
author = {Annalisa Conversano and Marcello Mamino},
journal= {arXiv preprint arXiv:2010.10579},
year = {2021}
}
Comments
To appear in Notre Dame Journal of Formal Logic