Submission date: 17 May 2017

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.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1705.06060: pdf, ps.