A metric version of Schlichting's Theorem
Logic
2020-04-10 v3 Group Theory
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.
Keywords
Cite
@article{arxiv.1705.06060,
title = {A metric version of Schlichting's Theorem},
author = {Itaï Ben Yaacov and Frank Olaf Wagner},
journal= {arXiv preprint arXiv:1705.06060},
year = {2020}
}