One Lie Group to Define Them All

NOTRE DAME JOURNAL OF FORMAL LOGIC（2022）

引用 0|浏览0

暂无评分

摘要

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.

查看译文

关键词

first-order definability,Lie groups

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要