Research Areas

Logic

  • nonclassical logic
  • arithmetic

Set Theory & Foundations of Mathematics

  • forcing & structure of the real line
  • combinatorics of ultrafilters
  • large cardinals