On effective Birkhoff's ergodic theorem for computable actions of amenable groups

Nikita Moriakov

We introduce computable actions of computable groups and prove the following versions of effective Birkhoff's ergodic theorem. Let $\Gamma$ be a computable amenable group, then there al…