Abstract
This article consists of the talk given by the author to the Congress, but together with various extensions. It is certainly in the area claimed by the title, focusing on connections between recursive functions and groups. Some results are stated and a reference given as to where the proofs may be found, some results are stated and the proofs promised as forthcoming, a weakened form of one of the latter is proved in outline here, but otherwise the article consists of a wild array of obiter dicta, questions, and speculations.
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”. 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. 70 (2) (1959), 207–265.
William W. Boone, “Word problems and recursively enumerable degrees of unsolvability. A first paper on Thue systems”, Ann. of Math. 83 (2) (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. 84 (2) (1966), 49–84. MR34#1382.
William W. Boone, “Word problems and recursively enumerable degrees of unsolvability. An emendation”, Ann. of Math. 94 (2) (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 Muth. 77 (2) (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 croup 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 Mignon, 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. lauk 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 Berlin Heidelberg
About this paper
Cite this paper
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/978-3-662-21571-5_8
Download citation
DOI: https://doi.org/10.1007/978-3-662-21571-5_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06845-7
Online ISBN: 978-3-662-21571-5
eBook Packages: Springer Book Archive
