Date of Submission

Fall 2011

Academic Program

Mathematics

Project Advisor 1

Robert McGrail

Project Advisor 2

James Belk

Abstract/Artist's Statement

In this paper I will look for a first order parameterization of the theory of quandles. More specifically, I will examine one particular first order sentence to to see if it could be a first order axiomatization of Mal'cev terms in quandles. I will begin by dening first order logic, and examining some of capabilities and limitations of rst order logic. I will then explain a notion of parametrizability, explaining why certain things are parametrizable in first order and others are not. The 0-1 law for first order logic is very useful for answering questions of parametrizability, so I will explain what this law is and how it can be used (and has been used) to prove or disprove the parametrizability of a class of structures.

Distribution Options

Access restricted to On-Campus only

Creative Commons License

Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License.

Share

COinS