Reconstruction of separably categorical metric structures

DOI10.1017/JSL.2014.80MaRDI QIDQ2805034zbMATHOpenAlexFDO

Authors Itaï Ben Yaacov, Adriane Kaïchouh

Publication date 9 May 2016

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

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

zbMATH Keywords

automorphism groupreconstructioncontinuous logicmetric structuresbi-interpretabilityseparably categorical structure

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Categoricity and completeness of theories (03C35) Model theory of denumerable and separable structures (03C15)

Abstract: We extend Ahlbrandt and Ziegler's reconstruction results to the metric setting: we show that separably categorical metric structures are determined, up to bi-interpretability, by their automorphism groups.

Recommendations

• On the Reconstruction of ℵ₀ -Categorical Structures from their Automorphism Groups
• Metrical universality for groups
• Reconstruction of homogeneous relational structures
• Reconstructing structures with the strong small index property up to bi-definability
• Reconstruction of classical geometries from their automorphism group

Cites work

• Continuous first order logic and local stability
• On d-finiteness in continuous structures
• On theories of random variables
• Quasi finitely axiomatizable totally categorical theories

Cited in

(5)

• On a Roelcke-precompact Polish group that cannot act transitively on a complete metric space
• RECONSTRUCTION OF NON--CATEGORICAL THEORIES
• The category-theoretic solution of recursive metric-space equations
• Infinite-dimensional Polish groups and property (T)
• The dynamical hierarchy for Roelcke precompact Polish groups

This page was built for publication: Reconstruction of separably categorical metric structures

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