We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Logic

Title: A metric version of Schlichting's Theorem

Authors: Itaï Ben Yaacov (AGL), Frank Olaf Wagner (AGL)
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.
Subjects: Logic (math.LO); Group Theory (math.GR)
Cite as: arXiv:1705.06060 [math.LO]
  (or arXiv:1705.06060v3 [math.LO] for this version)

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.