The amalgamation property and Urysohn structures in continuous logic
Abstract
In this paper we consider the classes of all continuous -(pre-)structures for a continuous first-order signature . We characterize the moduli of continuity for which the classes of finite, countable, or all continuous -(pre-)structures have the amalgamation property. We also characterize when Urysohn continuous -(pre)-structures exist, establish that certain classes of finite continuous -structures are countable Fra\"iss\'e classes, prove the coherent EPPA for these classes of finite continuous -structures, and show that actions by automorphisms on finite -structures also form a Fra\"iss\'e class. As consequences, we have that the automorphism group of the Urysohn continuous -structure is a universal Polish group and that Hall's universal locally finite group is contained in the automorphism group of the Urysohn continuous -structure as a dense subgroup.
Cite
@article{arxiv.2302.05867,
title = {The amalgamation property and Urysohn structures in continuous logic},
author = {Su Gao and Xuanzhi Ren},
journal= {arXiv preprint arXiv:2302.05867},
year = {2026}
}