A METRIC VERSION OF SCHLICHTING’S THEOREM
The Journal of symbolic logic/The journal of symbolic logic(2020)
摘要
If F is a type-definable family of commensurable subsets, subgroups or subvector spaces in a metric structure, then there is an invariant subset, subgroup or subvector space commensurable with F. This in particular applies to type-definable or hyper-definable objects in a classical first-order structure.
更多查看译文
关键词
Schlichting's Theorem,uniformly commensurable,close-knit family,continuous logic,invariant
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要