Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1072

Preprint Number 1072

Previous Next Preprint server

1072. Z. Sela
Word Equations I: Pairs and their Makanin-Razborov Diagrams

Submission date: 19 July 2016


This paper is the first in a sequence on the structure of sets of solutions to systems of equations over a free semigroup. To describe the structure, we present a Makanin-Razborov diagram that encodes the set of solutions to such system of equations. In the sequel we show how this diagram, and the tools that are used in constructing it, can be applied to analyze fragments of the first order theory of free semigroups.
(Preliminary version)

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1607.05431: pdf, ps.

Last updated: August 10 2016 11:42 Please send your corrections to: