English

The amalgamation property and Urysohn structures in continuous logic

Logic 2026-02-11 v1

Abstract

In this paper we consider the classes of all continuous L\mathcal{L}-(pre-)structures for a continuous first-order signature L\mathcal{L}. We characterize the moduli of continuity for which the classes of finite, countable, or all continuous L\mathcal{L}-(pre-)structures have the amalgamation property. We also characterize when Urysohn continuous L\mathcal{L}-(pre)-structures exist, establish that certain classes of finite continuous L\mathcal{L}-structures are countable Fra\"iss\'e classes, prove the coherent EPPA for these classes of finite continuous L\mathcal{L}-structures, and show that actions by automorphisms on finite L\mathcal{L}-structures also form a Fra\"iss\'e class. As consequences, we have that the automorphism group of the Urysohn continuous L\mathcal{L}-structure is a universal Polish group and that Hall's universal locally finite group is contained in the automorphism group of the Urysohn continuous L\mathcal{L}-structure as a dense subgroup.

Keywords

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}
}
R2 v1 2026-06-28T08:37:59.578Z