Hi, I am a graduate student in the math department.


Exposition

• An Introduction to Smooth Infinitesimal Analysis. PDF PS On the Arxiv

Preprints

• Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic
• The Order-Theoretic Structure of Free Heyting Algebras

Courses I Am Grading For

• Math 304 - Prove It! taught by Bob Connelly

Advisor
Richard Shore

E-mail
oconnor@math.cornell.edu