报告题目：Garden of Eden and specification
报告人单位：SUNY at Buffalo/Chongqing University
A set is finite if and only if for every map from the set to itself surjectivity is equivalent to injectivity. The Garden of Eden theorem, or Moore-Myhill property, for a dynamical system refers to the equivalence between surjectivity and certain weak form of injectivity for every equivariant continuous map from the underlying space to itself. I will present a general GOE theorem for algebraic actions of amenable groups.