  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.

Logic