A metric version of Schlichting's Theorem
From MaRDI portal
Publication:6286777
DOI10.1017/JSL.2020.29zbMATH Open1530.03146arXiv1705.06060MaRDI QIDQ6286777FDOQ6286777
Authors: Itaï Ben Yaacov, F. O. Wagner 
Publication 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.
Model-theoretic algebra (03C60) Semilattices (06A12) Chains and lattices of subgroups, subnormal subgroups (20E15) Model theory of fields (12L12) General structure theory for semigroups (20M10) Continuous model theory, model theory of metric structures (03C66)
This page was built for publication: A metric version of Schlichting's Theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6286777)
