Reconstruction of separably categorical metric structures

DOI10.1017/JSL.2014.80zbMATH Open1427.03048arXiv1405.4177OpenAlexW2963183492MaRDI QIDQ2805034FDOQ2805034

Adriane Kaïchouh, Itaï Ben Yaacov

Publication date: 9 May 2016

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

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.

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)

Cites Work

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

Cited In (5)

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

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)