Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: A metric version of Schlichting's Theorem
(Submitted on 17 May 2017 (v1), last revised 9 Apr 2020 (this version, v3))
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.
Submission history
From: Frank Olaf Wagner [view email][v1] Wed, 17 May 2017 09:18:30 GMT (11kb)
[v2] Thu, 21 Jun 2018 09:38:48 GMT (12kb)
[v3] Thu, 9 Apr 2020 14:55:06 GMT (12kb)
Link back to: arXiv, form interface, contact.