Date of Award
Master of Science
Math and Computer Science
We give an introduction to the problem of computable algebras. Specifically, the algebras of loops and groups. We start by defining a loop and group, then give some of their properties. We then give an overview of comptability theory, and apply it to loops and groups. We conclude by showing that a finitely presented residually finite algebra has a solvable word problem.
Schmidt, Josiah, "Computable Model Theory on Loops" (2021). All NMU Master's Theses. 682.