Oligomorphic transformation monoids and homomorphism-homogeneous structures

Dragan Mašulović, and Maja Pech. "Oligomorphic transformation monoids and homomorphism-homogeneous structures." Fundamenta Mathematicae 212.1 (2011): 17-34. <http://eudml.org/doc/286558>.

@article{DraganMašulović2011,
abstract = {A structure is called homomorphism-homogeneous if every homomorphism between finitely generated substructures of the structure extends to an endomorphism of the structure (P. J. Cameron and J. Nešetřil, 2006). In this paper we introduce oligomorphic transformation monoids in full analogy to oligomorphic permutation groups and use this notion to propose a solution to a problem, posed by Cameron and Nešetřil in 2006, to characterize endomorphism monoids of homomorphism-homogeneous relational structures over finite signatures. However, the main goal of this paper is to provide more evidence that the concept of homomorphism-homogeneity is analogous to that of ultrahomogeneity. It turns out that many results that hold for ultrahomogeneous or ω-categorical structures have their analogues in the class of countable homomorphism-homogeneous structures, or countable weakly oligomorphic structures (these are structures whose endomorphism monoids are oligomorphic). For example, we characterize countable weakly oligomorphic structures in terms of the Ryll-Nardzewski property with respect to positive formulas; we prove that for countable weakly oligomorphic structures homomorphism-homogeneity is equivalent to quantifier elimination for positive formulas; finally, we prove that an ω-categorical structure is both ultrahomogeneous and homomorphism-homogeneous if and only if it has quantifier elimination where positive formulas reduce to positive quantifier-free formulas},
author = {Dragan Mašulović, Maja Pech},
journal = {Fundamenta Mathematicae},
keywords = {transformation monoids; homogeneous structures; quantifier elimination},
language = {eng},
number = {1},
pages = {17-34},
title = {Oligomorphic transformation monoids and homomorphism-homogeneous structures},
url = {http://eudml.org/doc/286558},
volume = {212},
year = {2011},
}

TY - JOUR
AU - Dragan Mašulović
AU - Maja Pech
TI - Oligomorphic transformation monoids and homomorphism-homogeneous structures
JO - Fundamenta Mathematicae
PY - 2011
VL - 212
IS - 1
SP - 17
EP - 34
AB - A structure is called homomorphism-homogeneous if every homomorphism between finitely generated substructures of the structure extends to an endomorphism of the structure (P. J. Cameron and J. Nešetřil, 2006). In this paper we introduce oligomorphic transformation monoids in full analogy to oligomorphic permutation groups and use this notion to propose a solution to a problem, posed by Cameron and Nešetřil in 2006, to characterize endomorphism monoids of homomorphism-homogeneous relational structures over finite signatures. However, the main goal of this paper is to provide more evidence that the concept of homomorphism-homogeneity is analogous to that of ultrahomogeneity. It turns out that many results that hold for ultrahomogeneous or ω-categorical structures have their analogues in the class of countable homomorphism-homogeneous structures, or countable weakly oligomorphic structures (these are structures whose endomorphism monoids are oligomorphic). For example, we characterize countable weakly oligomorphic structures in terms of the Ryll-Nardzewski property with respect to positive formulas; we prove that for countable weakly oligomorphic structures homomorphism-homogeneity is equivalent to quantifier elimination for positive formulas; finally, we prove that an ω-categorical structure is both ultrahomogeneous and homomorphism-homogeneous if and only if it has quantifier elimination where positive formulas reduce to positive quantifier-free formulas
LA - eng
KW - transformation monoids; homogeneous structures; quantifier elimination
UR - http://eudml.org/doc/286558
ER -