3 papers
cs.LO2026
Polynomial definability in constraint languages with few subpowers
Jakub BulÃn, Michael Kompatscher
A first-order formula is called primitive positive (pp) if it only admits the use of existential quantifiers and conjunction. Pp-formulas are a central concept in (fixed-template)…
math.CO2025
Forbidden cycles in metrically homogeneous graphs
Jan HubiÄka, Michael Kompatscher, MatÄj KoneÄný
In a recent paper by a superset of the authors it was proved that for every primitive 3-constrained space of finite diameter from Cherlin's catalogue of metrically homoge…
math.CO2025
Ramsey expansions of metrically homogeneous graphs
Andrés Aranda, David Bradley-Williams, Jan HubiÄka +4
We investigate Ramsey expansions, the coherent extension property for partial isometries (EPPA), and the existence of a stationary independence relation for all classes of metrical…