论文标题
一个谎言组来定义他们
One Lie group to define them all
论文作者
论文摘要
我们产生了一个连接的真实谎言组，作为组语言中的一阶结构，可以解释以整数为谓词扩展的真实字段。而且，我们解释的领域在小组中是可以定义的。
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.
