Reconstruction of separably categorical metric structures

Itaï Ben Yaacov (1) , Adriane Kaïchouh (1)

1 AGL - Algèbre, géométrie, logique

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.

Mots clés: bi-interpretability; automorphism group; separably categorical; reconstruction; Ahlbrandt-Ziegler; metric structures; continuous logic

Domaines: Logique [math.LO]

Itaï Ben Yaacov, Adriane Kaïchouh. Reconstruction of separably categorical metric structures. 2014. ⟨hal-00991415⟩