Skip to main content

Between logic and group theory

Part of the Lecture Notes in Mathematics book series (LNM,volume 372)

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   79.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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).

    Google Scholar 

  2. William W. Boone, "Certain simple, unsolvable problems of group theory. I", Nederl. Akad. Wetensch. Proc. Ser. A 57 (1954), 231–237. MR16,564.

    CrossRef  MathSciNet  MATH  Google Scholar 

  3. William W. Boone, "Certain simple, unsolvable problems of group theory. II", Nederl. Akad. Wetensch. Proc. Ser. A 57 (1954), 492–497. MR16,564.

    CrossRef  MathSciNet  MATH  Google Scholar 

  4. William W. Boone, "Certain simple, unsolvable problems of group theory. III", Nederl. Akad. Wetensch. Proc. Ser. A 58 (1955), 252–256. MR16,564.

    CrossRef  MathSciNet  MATH  Google Scholar 

  5. William W. Boone, "Certain simple, unsolvable problems of group theory. IV", Nederl. Akad. Wetensch. Proc. Ser. A 58 (1955), 571–577. MR20#5230.

    CrossRef  MathSciNet  MATH  Google Scholar 

  6. William W. Boone, "Certain simple, unsolvable problems of group theory. V", Nederl. Akad. Wetensch. Proc. Ser. A 60 (1957), 22–27. MR20#5231.

    CrossRef  MathSciNet  Google Scholar 

  7. William W. Boone, "Certain simple, unsolvable problems of group theory. VI", Nederl. Akad. Wetensch. Proc. Ser. A 60 (1957), 227–232. MR20#5231.

    CrossRef  MathSciNet  MATH  Google Scholar 

  8. William W. Boone, "The word problem", Ann. of Math. (2) 70 (1959), 207–265.

    CrossRef  MathSciNet  MATH  Google Scholar 

  9. 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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  10. 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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  11. William W. Boone, "Word problems and recursively enumerable degrees of unsolvability. An emendation", Ann. of Math. (2) 94 (1971), 389–391. Zbl.234.02031.

    CrossRef  MathSciNet  MATH  Google Scholar 

  12. William W. Boone and Graham Higman, "An algebraic characterization of groups with soluble word problem", J. Austral. Math. Soc. (to appear).

    Google Scholar 

  13. 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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  14. John L. Britton, "The word problem", Ann. of Math. (2) 77 (1963), 16–32. MR29#5891.

    CrossRef  MathSciNet  MATH  Google Scholar 

  15. 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).

    CrossRef  Google Scholar 

  16. C.R.J. Clapham, "An embedding theorem for finitely generated groups", Proc. London Math. Soc. (3) 17 (1967), 419–430. MR36#5199.

    CrossRef  MathSciNet  MATH  Google Scholar 

  17. Donald J. Collins, "Recursviely enumerable degrees and the conjugacy problem", Acta Math. 122 (1969), 115–160. MR39#4001.

    CrossRef  MathSciNet  MATH  Google Scholar 

  18. Graham Higman, An infinite family of finitely presented infinite simple groups (Mimeographed Lecture Notes taken by B.M. Hurley, Oxford University, 1973).

    Google Scholar 

  19. Graham Higman, B.H. Neumann and Hanna Neumann, "Embedding theorems for groups", J. London Math. Soc. 24 (1949), 247–254. MR11,322.

    CrossRef  MathSciNet  MATH  Google Scholar 

  20. А.В. Кузнецов [A.V. Kuznecov], "Алгоритмы как операции в алгебраических системах" [Algorithms as operations in algebraic systems], Uspehi Mat. Nauk 13, no. 3 (1958), 240–241.

    Google Scholar 

  21. Angus Macintyre, "Omitting quantifier-free types in generic structures", J. Symbolic Logic 37 (1972), 512–520.

    CrossRef  MathSciNet  MATH  Google Scholar 

  22. 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).

    CrossRef  Google Scholar 

  23. 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).

    MATH  Google Scholar 

  24. 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).

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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