AF Embeddability of Crossed Products of AT Algebras by the Integers and Its Application

We will show that the crossed products of unital simple real rank zero AT algebras by the integers are AF embeddable. This is a generalization of Brownʹs AF embedding theorem. As an application, we will prove the AF embeddability of crossed product algebras arising from certain minimal dynamical systems induced by two commuting homeomorphisms.