Research
Thesis: My thesis was conducted under the
supervision of Wim Ruitenburg and Steffen Lempp. It was an
attempt to modify Wheeler's Conjecture by creating a first-order
language and base theory so that models over that theory have an
internalized Boolean algebra.
I also conduct research in the field of intuitionistic model
theory. Specifically, I am working to extend concepts and
theorems from classical model theory to models of intuitionistic
logic. I work closely with Jon Fleischmann, Dan McGinn, and Wim
Ruitenburg on these questions.