Reconstruction of separably categorical metric structures

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.

Data and Resources

Additional Info

Field Value
Source https://hal.science/hal-00991415
Author Ben Yaacov, Itaï, Kaïchouh, Adriane
Maintainer CCSD
Last Updated May 5, 2026, 11:11 (UTC)
Created May 5, 2026, 11:11 (UTC)
Identifier hal-00991415
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Algèbre, géométrie, logique (AGL) ; Institut Camille Jordan (ICJ) ; École Centrale de Lyon (ECL) ; Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL) ; Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon) ; Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM) ; Université Jean Monnet (EPSCPE) (UJM EPE)-Université Jean Monnet (EPSCPE) (UJM EPE)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL) ; Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL) ; Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon) ; Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM) ; Université Jean Monnet (EPSCPE) (UJM EPE)-Université Jean Monnet (EPSCPE) (UJM EPE)-Centre National de la Recherche Scientifique (CNRS)
creator Ben Yaacov, Itaï
date 2014-05-15T00:00:00
harvest_object_id 64411dae-47d7-4788-9b17-3cda128a476f
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2026-04-23T00:00:00
relation info:eu-repo/semantics/altIdentifier/arxiv/1405.4177
set_spec type:UNDEFINED