On the elementary theory of free groups

 Access to full text

 Full (PDF)

1. [Bas] H. Bass – “Covering theory for graphs of groups”, J. Pure Appl. Math.89 (1993), p. 3–47. Zbl0805.57001MR1239551
2. [Bau1] G. Baumslag – “On generalized free products”, Math. Z.78 (1962), p. 423–438. Zbl0104.24402MR140562
3. [Bau] —, Topics in combinatorial group theory, Lect. in Math., Birkhäuser, 1993. Zbl0797.20001MR1243634
4. [BMR] G. Baumslag, A. Myasnikov & V.N. Remeslennikov – “Algebraic geometry over groups I. Algebraic sets and ideal theory”, J. Algebra219 (1999), p. 16–79. Zbl0938.20020MR1707663
5. [BF1] M. Bestvina & M. Feighn – “Bounding the complexity of simplicial group actions on trees”, Invent. Math.103 (1991), p. 449–469. Zbl0724.20019MR1091614
6. [BF2] —, “A combination theorem for negatively curved groups”, J. Differential Geom. 35 (1992), p. 85–101, Addendum, 43 (1996), p. 783-788. Zbl0862.57027MR1152226
7. [BF3] —, “Stable actions of groups on real trees”, Invent. Math.121 (1995), p. 287–321. Zbl0837.20047MR1346208
8. [BF4] —, “Notes on Sela’s work : limit groups and Makanin-Razborov diagrams”, prépublication, Univ. Utah, oct. 2003. 
9. [Bou] N. Bourbaki – Topologie générale, chap. 1 à 4, Hermann, Paris, 1971. Zbl0249.54001MR358652
10. [Bow] B. Bowditch – “Cut points and canonical splittings of hyperbolic groups”, Acta Math.180 (1998), p. 145–186. Zbl0911.57001MR1638764
11. [Cham] C. Champetier – “L’espace des groupes de type fini”, Topology39 (2000), p. 657–680. Zbl0959.20041MR1760424
12. [CG] C. Champetier & V. Guirardel – “Limit groups as limits of free groups : compactifying the set of free groups”, à paraître dans Israel J. Math. Zbl1103.20026MR2151593
13. [CK] C.C. Chang & H.J. Keisler – Model theory, Studia Logica, vol. 73, North-Holand, 1973. Zbl0276.02032MR409165
14. [Chat] Z. Chatzidakis – “Limit groups, viewed by a logician”, Notes d’exposés, http://www.logique.jussieu.fr/~zoe, 2001. 
15. [Chi] I. Chiswell – Introduction to $\Lambda$-trees, World Scientific, 2001. Zbl1004.20014MR1851337
16. [Dun] M.J. Dunwoody – “Groups acting on protrees”, J. London Math. Soc. (2) 56 (1997), p. 125–136. Zbl0918.20011MR1462830
17. [DS] M.J. Dunwoody & M.E. Sageev – “JSJ-splittings for finitely presented groups over slender groups”, Invent. Math.135 (1999), p. 25–44. Zbl0939.20047MR1664694
18. [For] M. Forester – “On uniqueness of JSJ decompositions of finitely generated groups”, Comm. Math. Helv78 (2003), p. 740–751. Zbl1040.20032MR2016693
19. [FP] K. Fujiwara & P. Papasoglu – “JSJ-splittings and complexes of groups”, prépublication Orsay, 1998. 
20. [GLP] D. Gaboriau, G. Levitt & F. Paulin – “Pseudogroups of isometries of $ℝ$ and Rips’ theorem on free actions on $ℝ$-trees”, Israel J. Math.87 (1994), p. 403–428. Zbl0824.57001MR1286836
21. [Ghy1] É. Ghys – “Les groupes hyperboliques”, in Sém. Bourbaki (1989/90), Astérisque, vol. 189-190, Société Mathématique de France, 1990, exp. no 722, p. 203–238. Zbl0744.20036MR1099877
22. [Ghy2] —, “Les groupes aléatoires [d’après Misha Gromov,...]”, in Sém. Bourbaki (2002/03), Astérisque, Société Mathématique de France, 2004, exp. no 916, ce volume. Zbl1134.20306
23. [Gri] R.I. Grigorchuk – “Degrees of growth of finitely generated groups and the theory of invariant means”, Izv. Akad. Nauk SSSR Ser. Mat.48 (1984), p. 939–985. Zbl0583.20023MR764305
24. [Gro] S. Gross – PhD Thesis, The Hebrew University, 2001. 
25. [Gui] V. Guirardel – “Limit groups and groups acting on ${ℝ}^n$-trees”, prépublication Univ. Toulouse, 2003. 
26. [HV] P. de la Harpe & A. Valette – La propriété $T$ de Kazhdan pour les groupes localement compacts, Astérisque, vol. 175, Société Mathématique de France, 1989. Zbl0759.22001
27. [Hat] A. Hatcher – Algebraic topology, Cambridge Univ. Press, 2002, http://www.math.cornell.edu/~hatcher. Zbl1044.55001MR1867354
28. [HS] H. Hendriks & A. Shastri – “A splitting theorem for surfaces”, in Topological structures, II, Proc. Symp. Topo. Geom. (Amsterdam, 1978), Part 1, Math. Centre Tracts, vol. 115, Math. Centrum, Amsterdam, 1979, p. 117–121. Zbl0431.57002MR565831
29. [JS] W.H. Jaco & P.B. Shalen – Seifert fibered spaces in $3$-manifolds, Mem. Amer. Math. Soc., vol. 220, American Mathematical Society, 1979. Zbl0415.57005MR539411
30. [Joh] K. Johannson – Homotopy equivalences of $3$-manifolds with boundaries, Lect. Notes in Math., vol. 761, Springer Verlag, 1979. Zbl0412.57007MR551744
31. [KM0] O. Kharlampovich & A. Myasnikov – “Tarski’s problem about the elementary theory of free groups has a positive solution”, Electron. Res. Announc. Amer. Math. Soc.4 (1998), p. 101–108. Zbl0923.20016MR1662319
32. [KM1] —, “Irreducible affine varieties over a free group. I. Irreducibility of quadratic equations and Nullstellensatz”, J. Algebra200 (1998), p. 472–516. Zbl0904.20016MR1610660
33. [KM2] —, “Irreducible affine varieties over a free group. II. Systems in triangular quasi-quadratic form and description of residually free groups”, J. Algebra200 (1998), p. 517–570. Zbl0904.20017MR1610664
34. [KM3a] —, “Implicit function theorem over free groups”, prépublication, révisée 2003, http://www.math.mcgill.ca/~olga, 1999. 
35. [KM3b] —, “Algebraic geometry over free groups : lifting solutions into generic points”, in Group theory : algorithms, language, logic (A. Borovik, ’ed.), Contemp. Math., American Mathematical Society, à paraître. Zbl1093.20014
36. [KM4a] —, “Equations over fully residually free groups”, prépublication, révisée 2003, http://www.math.mcgill.ca/~olga, 1999. 
37. [KM4b] —, “Effective JSJ decompositions”, in Group theory : algorithms, language, logic (A. Borovik, ’ed.), Contemp. Math., American Mathematical Society, à paraître. 
38. [KM5] —, “Elementary theory of free nonabelian groups”, prépublication, révisée 2003, http://www.math.mcgill.ca/~olga, 1999. 
39. [Lev] G. Levitt – “Automorphisms of hyperbolic groups and graphs of groups”, prépublication Univ. Toulouse, Oct. 2002. Zbl1107.20030
40. [Lyn1] R.C. Lyndon – “The equation $a^2{b}^2=c^2$ in free groups”, Michigan Math. J.6 (1959), p. 89–95. Zbl0084.02803MR103218
41. [Lyn2] —, “Equations in free groups”, Trans. Amer. Math. Soc.96 (1960), p. 445–457. Zbl0108.02301MR151503
42. [LS] R.C. Lyndon & P.E. Schupp – Combinatorial group theory, Ergeb. Math. Grenz., vol. 89, Springer Verlag, 1977. Zbl0368.20023MR577064
43. [Mak1] G.S. Makanin – “Equations in a free group”, Math. USSR-Izv. 21 (1983), p. 449–469. Zbl0527.20018MR682490
44. [Mak2] —, “Decidability of the universal and positive theories of a free group”, Math. USSR-Izv. 25 (1985), p. 75–88. Zbl0578.20001
45. [Mer] Yu.I. Merzlyakov – “Positive formula on free groups”, Algebra i Logika5 (1966), p. 25–42. Zbl0216.29402MR222149
46. [Pau1] F. Paulin – “Topologie de Gromov équivariante, structures hyperboliques et arbres réels”, Invent. Math.94 (1988), p. 53–80. Zbl0673.57034MR958589
47. [Pau2] —, “Actions de groupes sur les arbres”, in Sém. Bourbaki (1995/96), Astérisque, vol. 241, Société Mathématique de France, 1997, exp. no 808, p. 97–137. Zbl0984.20015MR1472536
48. [Raz] A.A. Razborov – “On systems of equations in a free group”, Math. USSR-Izv. 25 (1985), p. 115–162. Zbl0579.20019MR755958
49. [Rem] V.N. Remeslennikov – “$\exists$-free groups”, Siberian Math. J.30 (1989), p. 998–1001. Zbl0724.20025MR1043446
50. [RS] E. Rips & Z. Sela – “Cyclic splittings of finitely presented groups and the canonical JSJ decomposition”, Ann. of Math.146 (1997), p. 53–104. Zbl0910.57002MR1469317
51. [Sac] G.S. Sacerdote – “Elementary properties of free groups”, Trans. Amer. Math. Soc.178 (1973), p. 127–138. Zbl0268.02037MR320146
52. [Sel1] Z. Sela – “Diophantine geometry over groups I : Makanin-Razborov diagrams”, Publ. Math. Inst. Hautes Études Sci.93 (2001), p. 31–105. Zbl1018.20034MR1863735
53. [Sel2] —, “Diophantine geometry over groups II : completions, closures and formal solutions”, Israel J. Math.134 (2003), p. 173–254. Zbl1028.20028MR1972179
54. [Sel3] —, “Diophantine geometry over groups III : rigid and solid solutions”, prépublication, 49 pages, http://www.ma.huji.ac.il/~zlil, 2001 à paraître dans Israel J. Math. 
55. [Sel4] —, “Diophantine geometry over groups IV : an iterative procedure for validation of a sentence”, prépublication, 106 pages, http://www.ma.huji.ac.il/~zlil, Juil. 2001 à paraître dans Israel J. Math. Zbl1088.20017
56. [Sel5] —, “Diophantine geometry over groups V : quantifier elimination”, prépublication, 223 pages, http://www.ma.huji.ac.il/~zlil, Oct. 2001 à paraître, partie I dans Israel J. Math., partie II dans Geom. Funct. Anal. 
57. [Sel6] —, “Diophantine geometry over groups VI : the elementary theory of a free group”, prépublication, 14 pages, http://www.ma.huji.ac.il/~zlil, Oct. 2001 à paraître dans Geom. Funct. Anal. Zbl1118.20035
58. [Sel7] —, “Diophantine geometry over groups VII : the elementary theory of a hyperbolic group”, prépublication, 65 pages, http://www.ma.huji.ac.il/~zlil, Mars 2002. 
59. [Ser] J.-P. Serre – Arbres, amalgames, SL${}_2$, Astérisque, vol. 46, Société Mathématique de France, 1983. Zbl0369.20013MR476875
60. [Tar] A. Tarski – “Some notions and methods on the borderline of algebra and metamathematics”, in Proc. I.C.M. (Cambridge, 1950), vol. 1, American Mathematical Society, 1952, p. 705–720. Zbl0049.00702MR45068
61. [ZVC] H. Zieschang, E. Vogt & H. Coldewey – Surfaces and planar discontinuous groups, Lect. Notes in Math., vol. 835, Springer Verlag, 1980. Zbl0438.57001MR606743

1. Yann Ollivier, Cogrowth and spectral gap of generic groups