In this paper we discuss a general approach to positive theories of groups. As an application we get a robust description of positive theories of groups with regular free Lyndon length function. Our approach combines techniques of infinite words (see [17, 3]), cancellation diagrams introduced in , and Merzlyakov's method .
- Groups acting on lambda-trees
- Infinite words
- Length functions
- Positive theory
ASJC Scopus subject areas