A metric version of Schlichting's Theorem

DOI10.1017/JSL.2020.29MaRDI QIDQ6286777arXivFDO

Authors Itaï Ben Yaacov, F. O. Wagner

Publication date 17 May 2017

Mathematics Subject Classification ID

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)

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.

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)