A metric version of Schlichting's Theorem
Une version métrique du théorème de Schlichting
Abstract
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.
Origin : Files produced by the author(s)
Loading...