The Szemeredi property for compact C*-dynamical systems
arXiv:math/0611309
Abstract
Furstenberg's multiple recurrence result for measure theoretic dynamical systems is proved for compact C*-dynamical systems for which the evolution is given by a semigroup with the right cancellation property, a right invariant measure and containing a Folner net.
13 pages