Consequences of the existence of ample generics and automorphism groups of homogeneous metric structures

From MaRDI portal
Publication:2976368

DOI10.1017/JSL.2015.73zbMATH Open1403.03087arXiv1405.1532OpenAlexW2963261474MaRDI QIDQ2976368FDOQ2976368


Authors: Maciej Malicki Edit this on Wikidata


Publication date: 28 April 2017

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Abstract: We define a simple criterion for a homogeneous, complete metric structure X that implies that the automorphism group mboxAut(X) satisfies all the main consequences of the existence of ample generics: it has the small index property, the automatic continuity property, and uncountable cofinality for non-open subgroups. Then we verify it for the Urysohn space mboxU, the Lebesgue probability measure algebra mboxMALG, and the Hilbert space ell2, thus proving that mboxIso(mboxU), mboxAut(mboxMALG), U(ell2), and O(ell2) share these properties. We also formulate a condition for X which implies that every homomorphism of mboxAut(X) into a separable group K with a left-invariant, complete metric, is trivial, and we verify it for mboxU, and ell2.


Full work available at URL: https://arxiv.org/abs/1405.1532




Recommendations




Cites Work


Cited In (6)





This page was built for publication: Consequences of the existence of ample generics and automorphism groups of homogeneous metric structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2976368)