Diophantine geometry over groups IV: AN iterative procedure for validation of a sentence

Z. Sela*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

35 Scopus citations

Abstract

This paper is the fourth in a series on the structure of sets of solutions to systems of equations in a free group, projections of such sets, and the structure of elementary sets defined over a free group. In the fourth paper we present an iterative procedure that validates the correctness of an AE sentence defined over a free group. The terminating procedure presented in this paper is the basis for our analysis of elementary sets defined over a free group presented in the next papers in the series.

Original languageAmerican English
Pages (from-to)1-130
Number of pages130
JournalIsrael Journal of Mathematics
Volume143
DOIs
StatePublished - 2004

Fingerprint

Dive into the research topics of 'Diophantine geometry over groups IV: AN iterative procedure for validation of a sentence'. Together they form a unique fingerprint.

Cite this