Books · Search
Fine Structure and Class Forcing
2000
Descriptive set theory · Algebraic varieties
Generalized descriptive set theory and classification theory
2014
Forcing (Model theory) · Model theory
Fine Structure and Class Forcing (De Gruyter Series in Logic and Its Applications, 3)
Set theory · Computational complexity
Sets and Computations
2017