Abstract:A relational structure is homomorphism-homogeneous if every homomorphism between finite substructures extends to an endomorphism of the structure. This notion was introduced recently by Cameron and Nešetřil. In this paper we consider a strengthening of homomorphism-homogeneity --- we call a relational structure polymorphism-homogeneous if every partial polymorphism with a finite domain extends to a global polymorphism of the structure. It turns out that this notion (under various names and in completely different contexts) has been existing in algebraic literature for at least 30 years. Motivated by this observation, we dedicate this paper to the topic of polymorphism-homogeneous structures. We study polymorphism-homogeneity from a model-theoretic, an algebraic, and a combinatorial point of view. E.g., we study structures that have quantifier elimination for positive primitive formulae, and show that this notion is equivalent to polymorphism-homogeneity for weakly oligomorphic structures. We demonstrate how the Baker-Pixley theorem can be used to show that polymorphism-homogeneity is a decidable property for finite relational structures. Eventually, we completely characterize the countable polymorphism-homogeneous graphs, the polymorphism-homogeneous posets of arbitrary size, and the countable polymorphism-homogeneous strict posets.

Characterization of homogeneity in orthocomplete atomic effect algebras

Finite homogeneous effect algebras with trivial sharp elements

States on sharply dominating effect algebras

Remarks on the Sequential Effect Algebras

The Brooks-Jewett Theorem on Effect Algebras with the Sequential Completeness Property

On Characters and Pure States of *-Algebras

Triple Representation Theorem for Homogeneous Effect Algebras

The Atomic Characterization of Weighted Local Hardy Spaces and Its Applications

Homogeneity in the free group

Homogeneity of torsion-free hyperbolic groups

Finite Algebras with Hom-Sets of Polynomial Size

Geometric homogeneity with applications to finite-time stability

Polymorphism-homogeneity and universal algebraic geometry

On polymorphism-homogeneous relational structures and their clones

-algebras hereditarily containing nonzero, square-zero elements

Atomicity of Boolean algebras and vector lattices in terms of order convergence

Finite Classical and Quantum Effect Algebras

Numerical Calculation of Coherent Synchrotron Radiation Effects Using TraFiC4

Homogeneous Algebraic Complexity Theory and Algebraic Formulas

Finite-Dimensional Convex Effect Algebras

Completely hereditarily atomic OMLs