Prefer a chat interface with context about you and your work?
Expansive actions with specification of sofic groups, strong topological Markov property, and surjunctivity