Arbitrariness and genericity: or on how to speak of the unspeakable
A logical analysis of the notion of consistency in set theoretical practice
Suslin's hypothesis, the diamond principle and the proper forcing axiom
The mathematical limits of the axiom of choice and of the axiom of determinacy
Consistence and independence in definable graph combinatorics
Cantor meets Robinson. Set theory, model theory and their philosohy