Actions, Length Functions, And Non-Archimedean Words

In this paper we survey recent developments in the theory of groups acting on Lambda-trees. We are trying to unify all significant methods and techniques, both classical and recently developed, in an attempt to present various faces of the theory and to show how these methods can be used to solve major problems about finitely presented Lambda-free groups. Besides surveying results known up to date we draw many new corollaries concerning structural and algorithmic properties of such groups.