Search

Author:

Miller, Justin Davis

Title:

Extending First Order Logic to Quantify Over Formulas

Area of Honors:

Mathematics

Keywords:

First Order Logic
Mathematical Logic
Mathematics
Foundations of Mathematics

File:

Download master.pdf

Thesis Supervisors:

Jason Michael Rute, Thesis Supervisor
Anne Kirsten Eisentraeger, Thesis Honors Advisor

Author:

Zhong, Qixiao

Title:

Encodable Model of Set Theory

Area of Honors:

Mathematics

Keywords:

Set Theory
Mathematical Logic
Theory of Computation

File:

Download thesis.pdf

Thesis Supervisors:

Jan S Reimann, Thesis Supervisor
Nathanial Patrick Brown, Thesis Honors Advisor