John P. Burgess, Set Theory