Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1224

Preprint Number 1224

Previous Next Preprint server

1224. Itaï Ben Yaacov (ICJ), Frank Wagner (ICJ)
A metric version of Schlichting's Theorem

Submission date: 17 May 2017


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.

Last updated: March 23 2021 10:20 Please send your corrections to: