All those EPPA classes (strengthenings of the Herwig–Lascar theorem)

J Hubička, M Konečný, J Nešetřil - Transactions of the American …, 2022 - ams.org
Let $\mathbf {A} $ be a finite structure. We say that a finite structure $\mathbf {B} $ is an
extension property for partial automorphisms (EPPA)-witness for $\mathbf {A} $ if it contains …

Ramsey expansions of metrically homogeneous graphs

A Aranda, D Bradley-Williams, J Hubička… - arXiv preprint arXiv …, 2017 - arxiv.org
We investigate Ramsey expansions, the coherent extension property for partial isometries
(EPPA), and the existence of a stationary independence relation for all classes of metrically …

Semigroup-valued metric spaces

M Konečný - arXiv preprint arXiv:1810.08963, 2018 - arxiv.org
The structural Ramsey theory is a field on the boundary of combinatorics and model theory
with deep connections to topological dynamics. Most of the known Ramsey classes in finite …

[HTML][HTML] Extending partial isometries of antipodal graphs

M Konečný - Discrete Mathematics, 2020 - Elsevier
We prove EPPA (extension property for partial automorphisms) for all antipodal classes from
Cherlin's list of metrically homogeneous graphs, thereby answering a question of Aranda et …

Combinatorial properties of metrically homogeneous graphs

M Konečný - arXiv preprint arXiv:1805.07425, 2018 - arxiv.org
Ramsey theory looks for regularities in large objects. Model theory studies algebraic
structures as models of theories. The structural Ramsey theory combines these two fields …

Simplicity of the automorphism groups of generalised metric spaces

DM Evans, J Hubička, M Konečný, Y Li, M Ziegler - Journal of Algebra, 2021 - Elsevier
Tent and Ziegler proved that the automorphism group of the Urysohn sphere is simple and
that the automorphism group of the Urysohn space is simple modulo bounded …

Forbidden cycles in metrically homogeneous graphs

J Hubička, M Kompatscher, M Konečný - arXiv preprint arXiv:1808.05177, 2018 - arxiv.org
In a recent paper by a superset of the authors it was proved that for every primitive 3-
constrained space $\Gamma $ of finite diameter $\delta $ from Cherlin's catalogue of …