solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看184次
A metric version of Schlichting's Theorem. (arXiv:1705.06060v1 [math.LO])
来源于:arXiv
If F is a type-definable family of commensurable subsets, subgroups or
sub-vector spaces in a metric structure, then there is an invariant subset,
subgroup or sub-vector space commensurable with F. This in particular applies
to type-definable or hyper-definable objects in a classical first-order
structure. 查看全文>>