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

Z. Sela

doi:10.1007/BF02803494

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

Z. Sela^*

^*Corresponding author for this work

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-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 language	English
Pages (from-to)	1-130
Number of pages	130
Journal	Israel Journal of Mathematics
Volume	143
DOIs	https://doi.org/10.1007/BF02803494
State	Published - 2004

Access to Document

10.1007/BF02803494

Cite this

@article{c511478b8a384b7c9eed313057b9239b,

title = "Diophantine geometry over groups IV: AN iterative procedure for validation of a sentence",

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.",

author = "Z. Sela",

year = "2004",

doi = "10.1007/BF02803494",

language = "אנגלית",

volume = "143",

pages = "1--130",

journal = "Israel Journal of Mathematics",

issn = "0021-2172",

publisher = "Springer New York",

}

TY - JOUR

T1 - Diophantine geometry over groups IV

T2 - AN iterative procedure for validation of a sentence

AU - Sela, Z.

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=10044251077&partnerID=8YFLogxK

U2 - 10.1007/BF02803494

DO - 10.1007/BF02803494

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:10044251077

SN - 0021-2172

VL - 143

SP - 1

EP - 130

JO - Israel Journal of Mathematics

JF - Israel Journal of Mathematics

ER -

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

Abstract

Access to Document

Other files and links

Fingerprint

Cite this