Knowledge (XXG)

Zlil Sela

Source đź“ť

31: 350:
Sela pushed this work further to study first-order theory of arbitrary torsion-free word-hyperbolic groups and to characterize all groups that are elementarily equivalent to (that is, have the same first-order theory as) a given torsion-free word-hyperbolic group. In particular, his work implies that
266:
for elements of hyperbolic groups, introduced by Rips and Sela in a joint 1995 paper. The machinery of the canonical representatives allowed Rips and Sela to prove algorithmic solvability of finite systems of equations in torsion-free hyperbolic groups, by reducing the problem to solving equations in
309:
and this work gave rise a systematic development of the JSJ-decomposition theory with many further extensions and generalizations by other mathematicians. Sela applied a combination of his JSJ-decomposition and
1491: 1496: 1315: 1293: 1273: 1257: 1241: 1130: 1047: 282:
In his work on the isomorphism problem Sela also introduced and developed the notion of a JSJ-decomposition for word-hyperbolic groups, motivated by the notion of a
1033: 641: 1476: 1471: 980: 915: 896: 884: 868: 1506: 191: 271:, where the Makanin–Razborov algorithm can be applied. The technique of canonical representatives was later generalized by Dahmani to the case of 932: 207: 833:
Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002), pp. 87 92, Higher Ed. Press, Beijing, 2002.
1501: 1319: 1301: 1134: 1051: 838: 717: 509: 400:
Theorem. Two non-abelian torsion-free hyperbolic groups are elementarily equivalent if and only if their cores are isomorphic.
366:
in the model-theoretic sense, providing a brand-new and qualitatively different source of examples for the stability theory.
223: 195: 164: 127: 123: 85: 44: 959: 1366: 1015: 682: 199: 928: 1405:
Guirardel, Vincent; Levitt, Gilbert; Salinos, Rizos (2020). "Towers and the first-order theory of hyperbolic groups".
389: 380:
The work of Sela on first-order theory of free and word-hyperbolic groups substantially influenced the development of
272: 944: 1361:
O. Kharlampovich, and A. Myasnikov. "Algebraic geometry over free groups: lifting solutions into generic points."
852: 779: 243: 215: 1481: 1082: 1001: 592: 419: 333: 319: 306: 146: 507:(1997), "Structure and rigidity in (Gromov) hyperbolic groups and discrete groups in rank 1 Lie groups. II.", 262:, played a key role in Sela's approach. The solution of the isomorphism problem also relied on the notion of 1064:
E. Rips, and Z. Sela. "Cyclic splittings of finitely presented groups and the canonical JSJ decomposition."
1486: 759: 381: 231: 119: 295: 291: 1065: 813: 774: 554: 468: 299: 247: 134: 374: 601: 428: 142: 1427:
Kapovich, Ilya; Weidmann, Richard (2002). "Acylindrical accessibility for groups acting on R-tree".
1333: 1096: 1048:"Structure and rigidity in (Gromov) hyperbolic groups and discrete groups in rank 1 Lie groups. II." 1193: 347:
techniques as well as developing new ideas and machinery of "algebraic geometry" over free groups.
176: 89: 1428: 1406: 742: 666: 617: 571: 534: 485: 452: 385: 370: 340: 131: 226:
for his work on the Tarski conjecture and on discovering and developing new connections between
834: 789: 552:(1997), "Cyclic splittings of finitely presented groups and the canonical JSJ decomposition", 283: 172: 54:
Solution of the isomorphism problem for torsion-free word-hyperbolic groups, Tarski conjecture
1456: 1258:"Diophantine geometry over groups. IV. An iterative procedure for validation of a sentence." 1161: 1116: 726: 691: 680:(2003), "Diophantine geometry over groups. II. Completions, closures and formal solutions", 650: 609: 563: 518: 477: 436: 184: 180: 96: 1175: 738: 705: 662: 583: 530: 497: 448: 1171: 963: 734: 701: 658: 633: 579: 526: 493: 444: 203: 1189: 831:
Diophantine geometry over groups and the elementary theory of free and hyperbolic groups.
605: 432: 715:(2006), "Diophantine geometry over groups. VI. The elementary theory of a free group", 328:
Sela's most important work came in early 2000s when he produced a solution to a famous
211: 1334:"Tarski's problem about the elementary theory of free groups has a positive solution." 1166: 1149: 975: 1465: 764: 746: 621: 538: 456: 363: 315: 149: 115: 1378:
O. Kharlampovich, and A. Myasnikov. "Elementary theory of free non-abelian groups."
670: 305:. The idea of JSJ-decomposition was later extended by Rips and Sela to torsion-free 549: 414: 362:
Sela also proved that the first-order theory of a finitely generated free group is
259: 251: 227: 168: 1225:
Diophantine geometry over groups. II. Completions, closures and formal solutions.
956: 881: 864: 1316:"Diophantine geometry over groups. VI. The elementary theory of a free group." 1207: 1029: 769: 730: 654: 384:, in particular by stimulating the development and the study of the notion of 336: 329: 287: 268: 219: 152: 138: 911: 198:, and he delivered an AMS Invited Address at the October 2003 meeting of the 1013:
François Dahmani. "Accidental parabolics and relatively hyperbolic groups."
784: 344: 311: 290:. A JSJ-decomposition is a representation of a word-hyperbolic group as the 255: 1131:"JSJ-decompositions of finitely presented groups and complexes of groups." 1078: 613: 522: 332:. Namely, in a long series of papers, he proved that any two non-abelian 325:
of hyperbolic groups and to the setting of relatively hyperbolic groups.
322: 302: 417:(1995), "Canonical representatives and equations in hyperbolic groups", 369:
An alternative solution for the Tarski conjecture has been presented by
1223: 1112: 696: 575: 489: 440: 1337:
Electronic Research Announcements of the American Mathematical Society
1100:
Electronic Research Announcements of the American Mathematical Society
318:. This result and Sela's approach were later generalized by others to 30: 1433: 1213:. Institut de Hautes Études Scientifiques, vol. 93 (2001), pp. 31–105 275:
and played a key role in the solution of the isomorphism problem for
194:
in Beijing. He gave a plenary talk at the 2002 annual meeting of the
567: 481: 1411: 1242:"Diophantine geometry over groups. III. Rigid and solid solutions." 1079:"JSJ-splittings for finitely presented groups over slender groups." 343:. Sela's work relied on applying his earlier JSJ-decomposition and 1451: 1208:"Diophantine geometry over groups. I. Makanin-Razborov diagrams." 1097:"Regular neighbourhoods and canonical decompositions for groups." 1030:"The isomorphism problem for toral relatively hyperbolic groups". 314:
techniques to prove that torsion-free word-hyperbolic groups are
242:
Sela's early important work was his solution in mid-1990s of the
634:"Diophantine geometry over groups. I. Makanin-Razborov diagrams" 897:
The 2002 annual meeting of the Association for Symbolic Logic.
1393:
Sur la théorie élémentaire des groupes libres (d'après Sela).
811:
Z. Sela. "The isomorphism problem for hyperbolic groups. I."
62:
Sloan Fellowship, Erdős Prize (2003), Carol Karp Prize (2008)
998:
Canonical representatives and equations in hyperbolic groups
590:
Sela, Zlil (1997), "Acylindrical accessibility for groups",
1113:"Cut points and canonical splittings of hyperbolic groups." 966:
Association for Symbolic Logic. Accessed September 13, 2008
355:
is elementarily equivalent to a word-hyperbolic group then
1150:"Endomorphisms of hyperbolic groups. I. The Hopf property" 855:
Columbia University Record, May 15, 1996, Vol. 21, No. 27.
625:(Sela's theorem on acylindrical accessibility for groups) 466:(1995), "The isomorphism problem for hyperbolic groups", 1190:"The Hopf property for subgroups of hyperbolic groups." 947:
Israel Mathematical Union. Accessed September 14, 2008
1352:
Journal of Algebra, vol. 290 (2005), no. 1, pp. 1–203
887:, vol. 48, no. 11, December 2001; pp. 1343 1345 1492:
Academic staff of the Hebrew University of Jerusalem
1365:, pp. 213–318, Contemporary Mathematics, vol. 378, 95: 81: 73: 58: 50: 40: 21: 1457:Zlil Sela at the Mathematics Genealogy Project 294:which encodes in a canonical way all possible 179:in New York. While at Columbia, Sela won the 175:, he held an Associate Professor position at 8: 1452:Zlil Sela's webpage at the Hebrew University 981:Notices of the American Mathematical Society 916:Notices of the American Mathematical Society 885:Notices of the American Mathematical Society 869:Notices of the American Mathematical Society 1350:Implicit function theorem over free groups. 171:. Prior to his current appointment at the 122:. He is a Professor of Mathematics at the 18: 1432: 1410: 1165: 817:(2), vol. 141 (1995), no. 2, pp. 217–283. 695: 190:Sela gave an Invited Address at the 2002 163:Sela received his Ph.D. in 1991 from the 1497:Einstein Institute of Mathematics alumni 1086:, vol. 135 (1999), no. 1, pp. 25 44 192:International Congress of Mathematicians 126:. Sela is known for the solution of the 1068:(2), vol. 146 (1997), no. 1, pp. 53–109 801: 992: 990: 395: 292:fundamental group of a graph of groups 1395:AstĂ©risque No. 294 (2004), pp. 63–402 1382:, vol. 302 (2006), no. 2, pp. 451–552 1120:, vol. 180 (1998), no. 2, pp. 145–186 1028:François Dahmani, and Daniel Groves, 825: 823: 7: 1348:O. Kharlampovich, and A. Myasnikov. 1332:O. Kharlampovich, and A. Myasnikov. 1323:, vol. 16 (2006), no. 3, pp. 707–730 1305:, vol. 16 (2006), no. 3, pp. 537–706 1294:"Diophantine geometry over groups. V 1274:"Diophantine geometry over groups. V 1034:Publications MathĂ©matiques de l'IHÉS 933:University of California at Berkeley 912:AMS Meeting at Binghamton, New York. 872:, vol. 43 (1996), no. 7, pp. 781–782 848: 846: 807: 805: 642:Publications MathĂ©matiques de l'IHÉS 208:University of California at Berkeley 1477:21st-century Israeli mathematicians 1472:20th-century Israeli mathematicians 1138:, vol. 16 (2006), no. 1, pp. 70–125 1055:, vol. 7 (1997), no. 3, pp. 561–593 1004:vol. 120 (1995), no. 3, pp. 489–512 1077:M. J. Dunwoody, and M. E. Sageev. 976:ASL Karp and Sacks Prizes Awarded 14: 1320:Geometric and Functional Analysis 1302:Geometric and Functional Analysis 1135:Geometric and Functional Analysis 1052:Geometric and Functional Analysis 718:Geometric and Functional Analysis 510:Geometric and Functional Analysis 167:, where his doctoral advisor was 919:, vol. 50 (2003), no. 9, p. 1174 29: 1507:Israel Defense Prize recipients 1129:K. Fujiwara, and P. Papasoglu, 984:, vol. 56 (2009), no. 5, p. 638 853:Faculty Members Win Fellowships 210:. He was also awarded the 2003 1298:. Quantifier elimination. II." 1231:, vol. 134 (2003), pp. 173–254 1197:, vol. 106 (2004), pp. 211–230 1037:, vol. 107 (2008), pp. 211–290 935:. Accessed September 14, 2008. 351:if a finitely generated group 279:relatively hyperbolic groups. 224:Association for Symbolic Logic 218:. Sela also received the 2008 196:Association for Symbolic Logic 165:Hebrew University of Jerusalem 124:Hebrew University of Jerusalem 86:Hebrew University of Jerusalem 45:Hebrew University of Jerusalem 1: 1367:American Mathematical Society 1363:Groups, languages, algorithms 1281:Israel Journal of Mathematics 1278:. Quantifier elimination. I." 1261:Israel Journal of Mathematics 1245:Israel Journal of Mathematics 1229:Israel Journal of Mathematics 1167:10.1016/S0040-9383(98)00015-9 1019:, vol. 153 (2006), pp. 93–127 1016:Israel Journal of Mathematics 882:Invited Speakers for ICM2002. 683:Israel Journal of Mathematics 396:Sela's classification theorem 200:American Mathematical Society 1339:, vol. 4 (1998), pp. 101–108 1283:, vol. 150 (2005), pp. 1–197 1263:, vol. 143 (2004), pp. 1–130 390:relatively hyperbolic groups 359:is word-hyperbolic as well. 273:relatively hyperbolic groups 137:and for the solution of the 1247:, vol. 147 (2005), pp. 1–73 1095:P. Scott and G. A. Swarup. 931:Department of Mathematics, 1523: 1211:Publications MathĂ©matiques 1102:, vol. 8 (2002), pp. 20–28 902:, vol. 9 (2003), pp. 51–70 900:Bulletin of Symbolic Logic 238:Mathematical contributions 865:Sloan Fellowships Awarded 780:Group isomorphism problem 731:10.1007/s00039-006-0565-8 655:10.1007/s10240-001-8188-y 307:finitely presented groups 264:canonical representatives 216:Israel Mathematical Union 105: 66: 28: 1083:Inventiones Mathematicae 1002:Inventiones Mathematicae 593:Inventiones Mathematicae 420:Inventiones Mathematicae 118:working in the area of 1502:ErdĹ‘s Prize recipients 1369:, Providence, RI, 2005 996:Z. Sela, and E. Rips. 957:Karp Prize Recipients. 760:Geometric group theory 382:geometric group theory 248:word-hyperbolic groups 232:geometric group theory 135:word-hyperbolic groups 120:geometric group theory 1066:Annals of Mathematics 929:2005 Tarski Lectures. 814:Annals of Mathematics 775:Word-hyperbolic group 614:10.1007/s002220050172 555:Annals of Mathematics 523:10.1007/s000390050019 469:Annals of Mathematics 141:about equivalence of 16:Israeli mathematician 143:first-order theories 1194:Geometriae Dedicata 606:1997InMat.129..527S 433:1995InMat.120..489R 250:. The machinery of 244:isomorphism problem 177:Columbia University 128:isomorphism problem 90:Columbia University 1380:Journal of Algebra 962:2008-05-13 at the 697:10.1007/BF02787407 441:10.1007/BF01241140 371:Olga Kharlampovich 341:first-order theory 334:finitely generated 320:finitely generated 147:finitely generated 1391:FrĂ©dĂ©ric Paulin. 1148:Sela, Z. (1999). 790:JSJ decomposition 558:, Second Series, 472:, Second Series, 330:Tarski conjecture 284:JSJ decomposition 246:for torsion-free 173:Hebrew University 159:Biographical data 139:Tarski conjecture 109: 108: 68:Scientific career 1514: 1439: 1438: 1436: 1424: 1418: 1416: 1414: 1402: 1396: 1389: 1383: 1376: 1370: 1359: 1353: 1346: 1340: 1330: 1324: 1312: 1306: 1290: 1284: 1270: 1264: 1254: 1248: 1238: 1232: 1220: 1214: 1204: 1198: 1186: 1180: 1179: 1169: 1145: 1139: 1127: 1121: 1117:Acta Mathematica 1111:B. H. Bowditch. 1109: 1103: 1093: 1087: 1075: 1069: 1062: 1056: 1044: 1038: 1026: 1020: 1011: 1005: 994: 985: 973: 967: 954: 948: 942: 936: 926: 920: 909: 903: 894: 888: 879: 873: 862: 856: 850: 841: 827: 818: 809: 749: 708: 699: 673: 638: 624: 586: 541: 500: 459: 375:Alexei Myasnikov 220:Carol Karp Prize 185:Sloan Foundation 181:Sloan Fellowship 97:Doctoral advisor 33: 19: 1522: 1521: 1517: 1516: 1515: 1513: 1512: 1511: 1482:Group theorists 1462: 1461: 1448: 1443: 1442: 1426: 1425: 1421: 1404: 1403: 1399: 1390: 1386: 1377: 1373: 1360: 1356: 1347: 1343: 1331: 1327: 1313: 1309: 1297: 1291: 1287: 1277: 1271: 1267: 1255: 1251: 1239: 1235: 1221: 1217: 1205: 1201: 1188:Inna Bumagina, 1187: 1183: 1147: 1146: 1142: 1128: 1124: 1110: 1106: 1094: 1090: 1076: 1072: 1063: 1059: 1045: 1041: 1027: 1023: 1012: 1008: 995: 988: 974: 970: 964:Wayback Machine 955: 951: 943: 939: 927: 923: 910: 906: 895: 891: 880: 876: 863: 859: 851: 844: 828: 821: 810: 803: 798: 756: 711: 676: 636: 628: 589: 568:10.2307/2951832 544: 503: 482:10.2307/2118520 462: 409: 406: 398: 300:infinite cyclic 258:, developed by 240: 204:Tarski Lectures 161: 41:Alma mater 36: 24: 17: 12: 11: 5: 1520: 1518: 1510: 1509: 1504: 1499: 1494: 1489: 1484: 1479: 1474: 1464: 1463: 1460: 1459: 1454: 1447: 1446:External links 1444: 1441: 1440: 1419: 1397: 1384: 1371: 1354: 1341: 1325: 1307: 1295: 1285: 1275: 1265: 1249: 1233: 1215: 1199: 1181: 1160:(2): 301–321. 1140: 1122: 1104: 1088: 1070: 1057: 1039: 1021: 1006: 986: 968: 949: 937: 921: 904: 889: 874: 857: 842: 819: 800: 799: 797: 794: 793: 792: 787: 782: 777: 772: 767: 762: 755: 752: 751: 750: 725:(3): 707–730, 709: 690:(1): 173–254, 674: 626: 600:(3): 527–565, 587: 542: 517:(3): 561–593, 501: 476:(2): 217–283, 460: 427:(3): 489–512, 405: 404:Published work 402: 397: 394: 339:have the same 239: 236: 160: 157: 114:is an Israeli 107: 106: 103: 102: 99: 93: 92: 83: 79: 78: 75: 71: 70: 64: 63: 60: 56: 55: 52: 51:Known for 48: 47: 42: 38: 37: 34: 26: 25: 22: 15: 13: 10: 9: 6: 4: 3: 2: 1519: 1508: 1505: 1503: 1500: 1498: 1495: 1493: 1490: 1488: 1487:Living people 1485: 1483: 1480: 1478: 1475: 1473: 1470: 1469: 1467: 1458: 1455: 1453: 1450: 1449: 1445: 1435: 1430: 1423: 1420: 1413: 1408: 1401: 1398: 1394: 1388: 1385: 1381: 1375: 1372: 1368: 1364: 1358: 1355: 1351: 1345: 1342: 1338: 1335: 1329: 1326: 1322: 1321: 1317: 1311: 1308: 1304: 1303: 1299: 1289: 1286: 1282: 1279: 1269: 1266: 1262: 1259: 1253: 1250: 1246: 1243: 1237: 1234: 1230: 1227: 1226: 1219: 1216: 1212: 1209: 1203: 1200: 1196: 1195: 1191: 1185: 1182: 1177: 1173: 1168: 1163: 1159: 1155: 1151: 1144: 1141: 1137: 1136: 1132: 1126: 1123: 1119: 1118: 1114: 1108: 1105: 1101: 1098: 1092: 1089: 1085: 1084: 1080: 1074: 1071: 1067: 1061: 1058: 1054: 1053: 1049: 1043: 1040: 1036: 1035: 1031: 1025: 1022: 1018: 1017: 1010: 1007: 1003: 999: 993: 991: 987: 983: 982: 977: 972: 969: 965: 961: 958: 953: 950: 946: 941: 938: 934: 930: 925: 922: 918: 917: 913: 908: 905: 901: 898: 893: 890: 886: 883: 878: 875: 871: 870: 866: 861: 858: 854: 849: 847: 843: 840: 839:7-04-008690-5 836: 832: 826: 824: 820: 816: 815: 808: 806: 802: 795: 791: 788: 786: 783: 781: 778: 776: 773: 771: 768: 766: 765:Stable theory 763: 761: 758: 757: 753: 748: 744: 740: 736: 732: 728: 724: 720: 719: 714: 710: 707: 703: 698: 693: 689: 685: 684: 679: 675: 672: 668: 664: 660: 656: 652: 649:(1): 31–105, 648: 644: 643: 635: 631: 627: 623: 619: 615: 611: 607: 603: 599: 595: 594: 588: 585: 581: 577: 573: 569: 565: 562:(1): 53–109, 561: 557: 556: 551: 550:Rips, Eliyahu 547: 543: 540: 536: 532: 528: 524: 520: 516: 512: 511: 506: 502: 499: 495: 491: 487: 483: 479: 475: 471: 470: 465: 461: 458: 454: 450: 446: 442: 438: 434: 430: 426: 422: 421: 416: 415:Rips, Eliyahu 412: 408: 407: 403: 401: 393: 391: 387: 383: 378: 376: 372: 367: 365: 360: 358: 354: 348: 346: 342: 338: 335: 331: 326: 324: 321: 317: 313: 308: 304: 301: 297: 293: 289: 285: 280: 278: 274: 270: 265: 261: 257: 253: 252:group actions 249: 245: 237: 235: 233: 229: 225: 221: 217: 213: 209: 205: 202:and the 2005 201: 197: 193: 188: 186: 182: 178: 174: 170: 166: 158: 156: 154: 151: 148: 144: 140: 136: 133: 129: 125: 121: 117: 116:mathematician 113: 104: 100: 98: 94: 91: 87: 84: 80: 76: 72: 69: 65: 61: 57: 53: 49: 46: 43: 39: 32: 27: 20: 1434:math/0210308 1422: 1400: 1392: 1387: 1379: 1374: 1362: 1357: 1349: 1344: 1336: 1328: 1318: 1310: 1300: 1288: 1280: 1268: 1260: 1252: 1244: 1236: 1228: 1224: 1218: 1210: 1202: 1192: 1184: 1157: 1153: 1143: 1133: 1125: 1115: 1107: 1099: 1091: 1081: 1073: 1060: 1050: 1042: 1032: 1024: 1014: 1009: 997: 979: 971: 952: 945:ErdĹ‘s Prize. 940: 924: 914: 907: 899: 892: 877: 867: 860: 830: 812: 722: 716: 712: 687: 681: 677: 646: 640: 629: 597: 591: 559: 553: 545: 514: 508: 504: 473: 467: 463: 424: 418: 410: 399: 386:limit groups 379: 368: 361: 356: 352: 349: 327: 281: 276: 263: 260:Eliyahu Rips 241: 228:model theory 189: 169:Eliyahu Rips 162: 132:torsion-free 111: 110: 101:Eliyahu Rips 82:Institutions 67: 1417:(See p. 8.) 337:free groups 288:3-manifolds 269:free groups 212:ErdĹ‘s Prize 153:free groups 150:non-abelian 77:Mathematics 1466:Categories 1412:2007.14148 796:References 785:Real trees 770:Free group 713:Sela, Zlil 678:Sela, Zlil 630:Sela, Zlil 546:Sela, Zlil 505:Sela, Zlil 464:Sela, Zlil 411:Sela, Zlil 296:splittings 256:real trees 1314:Z. Sela. 1292:Z. Sela. 1272:Z. Sela. 1256:Z. Sela. 1240:Z. Sela. 1222:Z. Sela. 1206:Z. Sela. 1046:Z. Sela. 829:Z. Sela. 747:123197664 622:122548154 539:120486267 457:121404710 345:real tree 323:subgroups 312:real tree 303:subgroups 222:from the 214:from the 183:from the 112:Zlil Sela 35:Zlil Sela 23:Zlil Sela 1154:Topology 960:Archived 754:See also 671:51799226 632:(2001), 1176:1660337 739:2238945 706:1972179 663:1863735 602:Bibcode 584:1469317 576:2951832 531:1466338 498:1324134 490:2118520 449:1334482 429:Bibcode 388:and of 316:Hopfian 206:at the 1174:  837:  745:  737:  704:  669:  661:  620:  582:  574:  537:  529:  496:  488:  455:  447:  364:stable 74:Fields 59:Awards 1429:arXiv 1407:arXiv 743:S2CID 667:S2CID 637:(PDF) 618:S2CID 572:JSTOR 535:S2CID 486:JSTOR 453:S2CID 298:over 277:toral 835:ISBN 373:and 286:for 230:and 130:for 1162:doi 727:doi 692:doi 688:134 651:doi 610:doi 598:129 564:doi 560:146 519:doi 478:doi 474:141 437:doi 425:120 254:on 145:of 1468:: 1172:MR 1170:. 1158:38 1156:. 1152:. 1000:, 989:^ 978:, 845:^ 822:^ 804:^ 741:, 735:MR 733:, 723:16 721:, 702:MR 700:, 686:, 665:, 659:MR 657:, 647:93 645:, 639:, 616:, 608:, 596:, 580:MR 578:, 570:, 548:; 533:, 527:MR 525:, 513:, 494:MR 492:, 484:, 451:, 445:MR 443:, 435:, 423:, 413:; 392:. 377:. 234:. 187:. 155:. 88:, 1437:. 1431:: 1415:. 1409:: 1296:2 1276:1 1178:. 1164:: 729:: 694:: 653:: 612:: 604:: 566:: 521:: 515:7 480:: 439:: 431:: 357:G 353:G

Index


Hebrew University of Jerusalem
Hebrew University of Jerusalem
Columbia University
Doctoral advisor
mathematician
geometric group theory
Hebrew University of Jerusalem
isomorphism problem
torsion-free
word-hyperbolic groups
Tarski conjecture
first-order theories
finitely generated
non-abelian
free groups
Hebrew University of Jerusalem
Eliyahu Rips
Hebrew University
Columbia University
Sloan Fellowship
Sloan Foundation
International Congress of Mathematicians
Association for Symbolic Logic
American Mathematical Society
Tarski Lectures
University of California at Berkeley
Erdős Prize
Israel Mathematical Union
Carol Karp Prize

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑