The mathematical limits of the axiom of choice and of the axiom of determinacy
A logical analysis of the notion of consistency in set theoretical practice
Directions in Infinite Graphs: topological, combinatorial and set-theoretical appr...
Cantor meets Robinson. Set theory, model theory and their philosohy