Uniqueness of the translation-invariant Gibbs measure for Hard-Core models with four-states on the Cayley tree

R. M. Khakimov

We consider fertile HC-models with four-states and the parametre activity on a Cayley tree. It is known that three types of such models exist. For each of these models we prove uni…