Diophantine geometry over groups IV: An iterative procedure for validation of a sentence
By Z. Sela. 2004
59 citations recorded by the source corpus.
Subfields: Computational Theory and Mathematics, Geometry and Topology, Mathematical Physics
View Paper: https://www.semanticscholar.org/paper/f69ca2cdf136eec7201cc66b8e2e871e134f5aaf
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Computational Theory and Mathematics
In Geometry and Topology
- Alexei G. Myasnikov
- Olga Kharlampovich
- Henry Wilton
- Z. Sela
- Vincent Guirardel
- D. Groves
- Abderezak Ould Houcine
- Franccois Dahmani
In Mathematical Physics
- Alexei G. Myasnikov
- Olga Kharlampovich
- Henry Wilton
- Z. Sela
- Vincent Guirardel
- D. Groves
- Abderezak Ould Houcine
- Gilbert Levitt
Citations in the corpus
- Diophantine geometry over groups VI: the elementary theory of a free group (2006, methodology): “that are mapped to the identity by µ1, and the endomorphism µ2 = τ ◦ ν ,b y Lemma 1.4 in [ Se4 ], if the image of a QH vertex group Q in Λ, µ2(Q), intersects non-trivially a conjugate of a QH vertex group in Λ, then it intersects it in a group of finite index.”
- Hall’s Theorem for Limit Groups (2006, background): “In [20, 21, 23, 22 , 24, 26, 25], Zlil Sela solved a famous problem of Alfred Tarski by classifying the elementarily free groups, those limit groups with the same elementary theory as a free group.”
- Elementary theory of free non-abelian groups (2006, methodology): “While this paper was going through the refereeing and revision, another proof of the first theorem, due to Sela, appeared in a series of preprints [28–33].”