Expansive actions with specification of sofic groups, strong topological Markov property, and surjunctivity

Tullio Ceccherini-Silberstein, Michel Coornaert, Hanfeng Li

A dynamical system is a pair $(X,G)$, where $X$ is a compact metrizable space and $G$ is a countable group acting by homeomorphisms of $X$. An endomorphism of $(X,G)$ is a continuo…