Caractérisation algébrique des groupes de type fini ayant un problème de mots résoluble (théorème de Boone-Higman, travaux de B. H. Neumann et MacIntyre)

 Access to full text

 Full (PDF)

1. [1] J.-P. Azra - Relations diophantiennes et la solution négative du dixième problème d'Hilbert, Séminaire Bourbaki, exposé 383 (Novembre 1970), Lecture Notes in Math. n° 244, Springer-Verlag, 1971. Zbl0268.02030MR469884
2. [2] J. Barwise et A. Robinson - Completing theories by forcing, Ann. Math. Logic, Vol. 2 (1970), 119-142. Zbl0222.02058MR272613
3. [3] W.W. Boone - Word problems and recursively enumerable degrees of unsolvability. A sequel on finitely presented groups, Annals of Maths., Vol. 84 (1966), 49-84. Zbl0173.01301MR201500
4. [4] W.W. Boone - Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability, in Contributions to Mathematical Logic (Hannover 1966), 13-36, North-Holland, Amsterdam, 1968. Zbl0237.02010MR237617
5. [5] W.W. Boone et G. Higman - An algebraic characterization of groups with soluble word problem, Journal Austral Math. Soc., à paraître. Zbl0303.20028
6. [6] W.W. Boone et H. Rogers Jr. - On a problem of J. H. C. Whitehead and a problem cf Alonzo Church, Math. Scand., Vol. 19 (1966), 185-192. Zbl0166.26503MR210578
7. [7] N. Bourbaki - Algèbre I, chapitres 1 à 3, Hermann, Paris, 1970. Zbl0211.02401MR274237
8. [8] J.L. Britton - The word problem, Annals of Maths., Vol. 77 (1963), 16-32. Zbl0112.25803MR168633
9. [9] C.C. Chang et H.J. Keisler - Model theory, North-Holland, Amsterdam, 1973. Zbl0697.03022
10. [10] C.R.J. Clapham - An embedding theorem for finitely generated groups, Proc. London Math. Soc., Vol. 17 (1967), 419-430. Zbl0152.00204MR222147
11. [11] G. Higman - Subgroups of finitely presented groups, Proc. of the Royal Society, A, Vol. 262 (1961), 455-475. Zbl0104.02101MR130286
12. [12] G. Higman, B.H. Neumann et H. Neumann - Embedding theorems for groups, J. London Math. Soc., Vol. 24 (1949), 247-254. Zbl0034.30101MR32641
13. [13] H.J. Keisler - The omitting types theorem, à paraître dans un recueil édité par Morley (Carus). 
14. [14] A.V. Kuznecov - dans Akad. Nauk S.S.S.R. (1956), 145-146. 
15. [15] D. Lacombe - Théorèmes de non-décidabilité, Séminaire Bourbaki, exposé 266 (février 1964), W. A. Benjamin, New York, 1966. Zbl0154.25705MR175786
16. [16] R.C. Lyndon - Metamathematics and Algebra : An example in Proc. Int. Congress Phil. Sci., Stanford, 1960. Zbl0142.24703
17. [17] A. Macintyre - On algebraically closed groups, Annals of Maths., Vol. 96 (1972), 53-97. Zbl0254.20021MR317928
18. [18] A. Macintyre - Omitting quantifier-free types in generic structures, Journ. of Symbolic Logic, Vol. 37 (1972), 512-520. Zbl0273.02038MR335255
19. [19] A. Malcev - The metamathematics of algebraic systems, North-Holland, Amsterdam, 1971. MR349383
20. [20] R. Mckenzie et R.J. Thompson - Unsolvable word problems, in Word problems : decision problems and the Burnside problem in group theory, North-Holland, Amsterdam, 1973, 457-478. Zbl0286.02047MR396769
21. [21] B.H. Neumann - A note on algebraically closed groups, J. London Math. Soc., Vol. 27 (1952), 247-249. Zbl0046.24802MR46363
22. [22] B.H. Neumann - The isomorphism problem for algebraically closed groups, in Word problems : decision problems and the Burnside problem in group theory, North-Holland, Amsterdam, 1973, 553-562. Zbl0198.34103MR414671
23. [23] B.H. Neumann et S. Yamamuro - Boolean powers of simple groups, Journ. Austral. Math. Soc., Vol. 5 (1965), 315-324. Zbl0132.26901MR197555
24. [24] M.O. Rabin - Recursive unsolvability of group theoretic problems, Annals of Maths., Vol. 67 (1958), 172-194. Zbl0079.24802MR110743
25. [25] M.O. Rabin - Computable algebra, general theory and theory of computable fields, Trans. Amer. Math. Soc., Vol. 95 (1960), 341-360. Zbl0156.01201MR113807
26. [26] M.O. Rabin - Non-standard models and independence of the induction axiom, in Essays on the foundations of Mathematics, Jerusalem, 1961, 287-299. Zbl0143.01001MR161795
27. [27] D.J.S. Robinson - Finiteness conditions and generalized soluble groups, Part I, Springer, Berlin, 1972. Zbl0243.20032
28. [28] J.J. Rotman - The theory of groups : an introduction, second edition, Allyn and Bacon, Boston, 1973. Zbl0262.20001MR442063
29. [29] W.R. Scott - Algebraically closed groups, Proc. Amer. Math. Soc., Vol. 2 (1951), 118-121. Zbl0043.02302MR40299
30. [30] W.R. Scott - Group theory, Prentice-Hall, 1964. Zbl0126.04504MR167513
31. [31] J.-P. Serre - Groupes discrets, Collège de France, 1968/1969. 
32. [32] H. Simmons - The word problem for absolute presentations, J. London Math. Soc., Vol. 6 (1973), 275-280. [explicite le fait que les présentations "absolues" récursives de [22] ont un problème de mots résoluble ; notre exposé a utilisé implicitement la réciproque qui est triviale.] Zbl0253.02044MR342614