The space of minimal structures

DOI10.1002/MALQ.201300012zbMATH Open1339.03028arXiv1303.0412OpenAlexW1827081050MaRDI QIDQ5404162FDOQ5404162

Authors: Oleg Belegradek 

Publication date: 21 March 2014

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Abstract: For a signature L with at least one constant symbol, an L-structure is called minimal if it has no proper substructures. Let S_L be the set of isomorphism types of minimal L-structures. The elements of S_L can be identified with ultrafilters of the Boolean algebra of quantifier-free L-sentences, and therefore one can define a Stone topology on S_L. This topology on S_L generalizes the topology of the space of n-marked groups. We introduce a natural ultrametric on S_L, and show that the Stone topology on S_L coincide with the topology of the ultrametric space S_L iff the ultrametric space S_L is compact iff L is locally finite (that is, L contains finitely many n-ary symbols for any n). As one of the applications of compactness of the Stone topology on S_L, we prove compactness of certain classes of metric spaces in the Gromov-Hausdorff topology. This slightly refines the known result based on Gromov's ideas that any uniformly totally bounded class of compact metric spases is precompact.

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

Recommendations

• The space of finitely generated groups
• Some model theory of Polish structures
• Limit groups as limits of free groups.
• Publication:4893102
• Groups of polynomial growth and their associated metric spaces

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Nilpotent groups (20F18)

Cites Work

• Groups of polynomial growth and expanding maps. Appendix by Jacques Tits
• Gromov's theorem on groups of polynomial growth and elementary logic
• The space of finitely generated groups
• Almost finitely presented soluble groups
• DEGREES OF GROWTH OF FINITELY GENERATED GROUPS, AND THE THEORY OF INVARIANT MEANS
• Limit groups as limits of free groups.
• On the isolated points in the space of groups.

Cited In (3)

• Minimal but not strongly minimal structures with arbitrary finite dimensions
• Title not available (Why is that?)
• The space of finitely generated groups

This page was built for publication: The space of minimal structures

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