Date of Award
7-2021
Degree Type
Thesis
Degree Name
Master of Science
Department
Math and Computer Science
Program
Mathematics (MS)
First Advisor/Chairperson
Joshua Thompson
Abstract
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.
Recommended Citation
Schmidt, Josiah, "Computable Model Theory on Loops" (2021). All NMU Master's Theses. 682.
https://commons.nmu.edu/theses/682
Access Type
Open Access