Research

I research philosophical, historical, and mathematical questions having to do with set theory, especially descriptive set theory, set theory of the real line, choiceless large cardinals, foundations of mathematics, and mathematical practice.

philosophy

Justification by Confluence

What do we mean when we say we have a Church-Turing Thesis for something?

Metamathematical Methods in Descriptive Set Theory

A case study of the practice of classifying proofs by their methodology.

history

Pre-history of Invariant Descriptive Set Theory

How and when did descriptive set theoreists come to study Borel equivalence relations?

philosophy

Justification by Confluence

Metamathematical Methods in Descriptive Set Theory

history

Pre-history of Invariant Descriptive Set Theory

mathematical logic