@article{KrsticMcCool1999,
  author = {Krsti{\'c}, Sava and McCool, James},
  title = {Presenting {$\mathrm{GL}_n(k\langle T\rangle)$}},
  journal = {Journal of Pure and Applied Algebra},
  volume = {141},
  number = {2},
  year = {1999},
  pages = {175--183},
  doi = {10.1016/S0022-4049(98)00022-X}
}

@book{Weibel2013,
  author = {Weibel, Charles A.},
  title = {The {$K$}-book: An Introduction to Algebraic {$K$}-Theory},
  series = {Graduate Studies in Mathematics},
  volume = {145},
  publisher = {American Mathematical Society},
  address = {Providence, RI},
  year = {2013},
  url = {https://sites.math.rutgers.edu/~weibel/Kbook.html}
}

@article{Zaremsky2024Finite,
  author = {Zaremsky, Matthew C. B.},
  title = {Finite presentability of twisted {Brin--Thompson} groups},
  journal = {Proceedings of the Royal Society of Edinburgh: Section A Mathematics},
  year = {2024},
  pages = {1--22},
  doi = {10.1017/prm.2024.131},
  eprint = {2405.18354},
  archivePrefix = {arXiv},
  primaryClass = {math.GR},
  note = {Online first; Theorem A and Corollary B. Also arXiv:2405.18354v2}
}

@article{BelkZaremsky2022,
  author = {Belk, James and Zaremsky, Matthew C. B.},
  title = {Twisted {Brin--Thompson} groups},
  journal = {Geometry \& Topology},
  volume = {26},
  number = {3},
  year = {2022},
  pages = {1189--1223},
  doi = {10.2140/gt.2022.26.1189}
}

@article{BH74,
  author = {Boone, William W. and Higman, Graham},
  title = {An algebraic characterization of groups with soluble word problem},
  journal = {Journal of the Australian Mathematical Society},
  volume = {18}, number = {1}, year = {1974}, pages = {41--53},
  doi = {10.1017/S1446788700019108}
}
@incollection{Tho80,
  author = {Thompson, Richard J.},
  title = {Embeddings into finitely generated simple groups which preserve the word problem},
  booktitle = {Word Problems II},
  editor = {Adian, S. I. and Boone, W. W. and Higman, G.},
  series = {Studies in Logic and the Foundations of Mathematics},
  volume = {95}, publisher = {North-Holland}, year = {1980}, pages = {401--441},
  doi = {10.1016/S0049-237X(08)71348-X}
}
@misc{BBMZsurvey,
  author = {Belk, James and Bleak, Collin and Matucci, Francesco and Zaremsky, Matthew C. B.},
  title = {Progress around the {Boone--Higman} conjecture},
  year = {2025}, eprint = {2306.16356}, archivePrefix = {arXiv}, primaryClass = {math.GR},
  note = {Version 3, 22 May 2025}, url = {https://arxiv.org/abs/2306.16356v3}
}
@article{BBMZhyperbolic,
  author = {Belk, James and Bleak, Collin and Matucci, Francesco and Zaremsky, Matthew C. B.},
  title = {Hyperbolic groups satisfy the {Boone--Higman} conjecture},
  journal = {Duke Mathematical Journal},
  volume = {175}, number = {9}, year = {2026}, pages = {1519--1592},
  doi = {10.1215/00127094-2025-0055},
  eprint = {2309.06224}, archivePrefix = {arXiv}, primaryClass = {math.GR},
  note = {Theorem A and Corollary D; also arXiv:2309.06224v3, 20 August 2025},
  url = {https://arxiv.org/abs/2309.06224v3}
}
@misc{BFFHZ,
  author = {Belk, James and Fournier-Facio, Francesco and Hyde, James and Zaremsky, Matthew C. B.},
  title = {{Boone--Higman} embeddings of {$\mathrm{Aut}(F_n)$} and mapping class groups of punctured surfaces},
  year = {2026}, eprint = {2503.21882}, archivePrefix = {arXiv}, primaryClass = {math.GR},
  note = {Version 3, 17 September 2026; to appear in Proceedings of the London Mathematical Society},
  url = {https://arxiv.org/abs/2503.21882v3}
}
@article{Britton63,
  author = {Britton, John L.}, title = {The word problem},
  journal = {Annals of Mathematics}, series = {2}, volume = {77}, number = {1},
  year = {1963}, pages = {16--32}, doi = {10.2307/1970200}
}
@article{Kleene38,
  author = {Kleene, S. C.}, title = {On notation for ordinal numbers},
  journal = {The Journal of Symbolic Logic}, volume = {3}, number = {4},
  year = {1938}, pages = {150--155}, doi = {10.2307/2267778}
}
@article{Newman42,
  author = {Newman, M. H. A.},
  title = {On theories with a combinatorial definition of ``equivalence''},
  journal = {Annals of Mathematics}, series = {2}, volume = {43}, number = {2},
  year = {1942}, pages = {223--243}, doi = {10.2307/1968867}
}

@article{Higman61,
  author = {Higman, Graham},
  title = {Subgroups of finitely presented groups},
  journal = {Proceedings of the Royal Society of London. Series A},
  volume = {262}, number = {1311}, year = {1961}, pages = {455--475},
  doi = {10.1098/rspa.1961.0132}
}
@incollection{AanderaaCohen1980,
  author = {Aanderaa, St{\aa}l and Cohen, Daniel E.},
  title = {Modular machines and the {Higman--Clapham--Valiev} embedding theorem},
  booktitle = {Word Problems II},
  editor = {Adian, S. I. and Boone, W. W. and Higman, G.},
  series = {Studies in Logic and the Foundations of Mathematics},
  volume = {95}, publisher = {North-Holland}, year = {1980}, pages = {17--28},
  doi = {10.1016/S0049-237X(08)71328-4}
}
@article{DarbinyanSteenbock2022,
  author = {Darbinyan, Arman and Steenbock, Markus},
  title = {Embeddings into left-orderable simple groups},
  journal = {Journal of the London Mathematical Society},
  series = {2}, volume = {105}, number = {3}, year = {2022}, pages = {2011--2045},
  doi = {10.1112/jlms.12552}
}
@article{Post1947,
  author = {Post, Emil L.},
  title = {Recursive unsolvability of a problem of {Thue}},
  journal = {The Journal of Symbolic Logic},
  volume = {12}, number = {1}, year = {1947}, pages = {1--11},
  doi = {10.2307/2267170}
}
@article{Murskii1967,
  author = {Murskii, V. L.},
  title = {Isomorphic imbeddability of a semigroup with an enumerable set of defining relations into a finitely presented semigroup},
  journal = {Matematicheskie Zametki},
  volume = {1}, number = {2}, year = {1967}, pages = {217--224},
  note = {In Russian; English translation in Mathematical Notes 1 (1967), 145--149},
  doi = {10.1007/BF01268065}
}
@article{Leavitt1962,
  author = {Leavitt, William G.},
  title = {The module type of a ring},
  journal = {Transactions of the American Mathematical Society},
  volume = {103}, number = {1}, year = {1962}, pages = {113--130},
  doi = {10.1090/S0002-9947-1962-0132764-X}
}

@misc{BuxLlosaWu2025,
  author = {Bux, Kai-Uwe and Llosa Isenrich, Claudio and Wu, Xiaolei},
  title = {On the {Boone--Higman} conjecture for groups acting on locally finite trees},
  year = {2025}, eprint = {2408.05673}, archivePrefix = {arXiv}, primaryClass = {math.GR},
  note = {Version 2, 24 January 2025; to appear in Duke Mathematical Journal},
  url = {https://arxiv.org/abs/2408.05673v2}
}
@misc{Khanh2026Leavitt,
  author = {Huynh Viet Khanh},
  title = {General linear and {Steinberg} groups over the {Leavitt} algebra {$L_{\mathbb F_2}(1,2)$}},
  year = {2026}, eprint = {2609.08428}, archivePrefix = {arXiv}, primaryClass = {math.KT},
  note = {Version 2, 21 September 2026},
  url = {https://arxiv.org/abs/2609.08428v2}
}