Carl Mummert

I work in mathematical logic. My main areas of interest are arithmetic, reverse mathematics, computability, and proof theory.