No CrossRef data available.
Article contents
A METRIC VERSION OF SCHLICHTING’S THEOREM
Published online by Cambridge University Press: 07 September 2020
Abstract
If ${\mathfrak {F}}$ is a type-definable family of commensurable subsets, subgroups or subvector spaces in a metric structure, then there is an invariant subset, subgroup or subvector space commensurable with ${\mathfrak {F}}$. This in particular applies to type-definable or hyper-definable objects in a classical first-order structure.
- Type
- Articles
- Information
- Copyright
- © The Association for Symbolic Logic 2020