Computing on lattice-ordered abelian groups

Abstract

Starting from a classical theorem of Gurevich and Kokorin we survey recent diverging developments of the theories of lattice-ordered abelian groups and their counterparts equipped with a distinguished order unit. We will focus on decision and recognition problems. As an application of Elliott’s classification, we will touch on word problems of AF C*-algebras.