This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Stål Aanderaa, "A proof of Higman's embedding theorem using Britton extension of groups", Word problems. Decision problems and the Burnside problem in group theory [Eds. W.W. Boone, F.B. Cannonito, R.C. Lyndon] pp. 1–17 (Studies in Logic and the Foundations of Mathematics, 71. North-Holland, Amsterdam, London, 1973).
William W. Boone, "Certain simple, unsolvable problems of group theory. I", Nederl. Akad. Wetensch. Proc. Ser. A 57 (1954), 231–237. MR16,564.
William W. Boone, "Certain simple, unsolvable problems of group theory. II", Nederl. Akad. Wetensch. Proc. Ser. A 57 (1954), 492–497. MR16,564.
William W. Boone, "Certain simple, unsolvable problems of group theory. III", Nederl. Akad. Wetensch. Proc. Ser. A 58 (1955), 252–256. MR16,564.
William W. Boone, "Certain simple, unsolvable problems of group theory. IV", Nederl. Akad. Wetensch. Proc. Ser. A 58 (1955), 571–577. MR20#5230.
William W. Boone, "Certain simple, unsolvable problems of group theory. V", Nederl. Akad. Wetensch. Proc. Ser. A 60 (1957), 22–27. MR20#5231.
William W. Boone, "Certain simple, unsolvable problems of group theory. VI", Nederl. Akad. Wetensch. Proc. Ser. A 60 (1957), 227–232. MR20#5231.
William W. Boone, "The word problem", Ann. of Math. (2) 70 (1959), 207–265.
William W. Boone, "Word problems and recursively enumerable degrees of unsolvability. A first paper on Thue systems", Ann. of Math. (2) 83 (1966), 520–571. MR34#1381.
William W. Boone, "Word problems and recursively enumerable degrees of unsolvability. A sequel on finitely presented groups", Ann. of Math. (2) 84 (1966), 49–84. MR34#1382.
William W. Boone, "Word problems and recursively enumerable degrees of unsolvability. An emendation", Ann. of Math. (2) 94 (1971), 389–391. Zbl.234.02031.
William W. Boone and Graham Higman, "An algebraic characterization of groups with soluble word problem", J. Austral. Math. Soc. (to appear).
William W. Boone and Hartley Rogers, Jr, "On a problem of J.H.C. Whitehead and a problem of Alonzo Church", Math. Scand. 19 (1966), 185–192. MR35#1465.
John L. Britton, "The word problem", Ann. of Math. (2) 77 (1963), 16–32. MR29#5891.
F.B. Cannonito and R.W. Gatterdam, "The computability of group constructions, Part I", Word problems. Decision problems and the Burnside problem in group theory [Eds. W.W. Boone, F.B. Cannonito, R.C. Lyndon], pp. 365–400 (Studies in Logic and the Foundations of Mathematics, 71. North-Holland, Amsterdam, London, 1973).
C.R.J. Clapham, "An embedding theorem for finitely generated groups", Proc. London Math. Soc. (3) 17 (1967), 419–430. MR36#5199.
Donald J. Collins, "Recursviely enumerable degrees and the conjugacy problem", Acta Math. 122 (1969), 115–160. MR39#4001.
Graham Higman, An infinite family of finitely presented infinite simple groups (Mimeographed Lecture Notes taken by B.M. Hurley, Oxford University, 1973).
Graham Higman, B.H. Neumann and Hanna Neumann, "Embedding theorems for groups", J. London Math. Soc. 24 (1949), 247–254. MR11,322.
А.В. Кузнецов [A.V. Kuznecov], "Алгоритмы как операции в алгебраических системах" [Algorithms as operations in algebraic systems], Uspehi Mat. Nauk 13, no. 3 (1958), 240–241.
Angus Macintyre, "Omitting quantifier-free types in generic structures", J. Symbolic Logic 37 (1972), 512–520.
Ralph McKenzie and Richard J. Thompson, "An elementary construction of unsolvable word problems in group theory", Word problems. Decision problems and the Burnside problem in group theory [Eds. W.W. Boone, F.B. Cannonito, R.C. Lyndon], pp. 457–478 (Studies in Logic and the Foundations of Mathematics, 71. North-Holland, Amsterdam, London, 1973).
Charles F. Miller, III, On group-theoretic decision problems and their classification (Annals of Mathematics Studies, 68. Princeton University Press and University of Tokyo Press, Princeton, New Jersey, 1971).
B.H. Neumann, "The isomorphism problem for algebraically closed groups", Word problems. Decision problems and the Burnside problem in group theory Eds. W.W. Boone, F.B. Cannonito, R.C. Lyndon, pp. 553–562 (Studies in Logic and the Foundations of Mathematics, 71. North-Holland, Amsterdam, London, 1973).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1974 Springer-Verlag
About this chapter
Cite this chapter
Boone, W.W. (1974). Between logic and group theory. In: Newman, M.F. (eds) Proceedings of the Second International Conference on The Theory of Groups. Lecture Notes in Mathematics, vol 372. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0065162
Download citation
DOI: https://doi.org/10.1007/BFb0065162
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06833-4
Online ISBN: 978-3-540-37801-3
eBook Packages: Springer Book Archive
