First Name:
Noah
Last Name:
Hughes
Major Department:
Mathematical Sciences
Thesis Director:
Jeffry Hirst
Date of Thesis:
May 2014
In this work we introduce the reader to the program of reverse mathematics. This is done by discussing second order arithmetic and constructing the big five subsystems of second order arithmetic used in reverse mathematics. These five subsystems may be used to classify mathematical theorems in terms of their logical strength. A theorem independent of this classification is considered as well. The work concludes with an original article by Hirst and Hughes in which marriage theorems are analyzed via the language of reverse mathematics.