Computable Model Theory on Loops

<p>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.</p>

Name thesis:degree_name

Master of Science

Level thesis:degree_level

Thesis

Discipline thesis:degree_discipline

Math and Computer Science

Year dc:date.available

2021

Author dc:creator

• Schmidt, Josiah

Contributors dc:contributor

• Joshua Thompson

• Loop Theory
• Computability Theory
• Group Theory
• Algebra
• Other Mathematics

Repository record dc:identifier

https://commons.nmu.edu/theses/682

OAI identifier oai:identifier

oai:commons.nmu.edu:theses-1717