An introduction to Pmax forcing
Countable Borel equivalence relations
Set theory and operator algebras
A tutorial on set mapping reflection
An introduction to hyperlinear and sofic groups
Aronszajn trees and the SCH
Iterated forcing and the Continuum Hypothesis
Short extender forcing
The complexity of classification problems in ergodic theory
On the strengths and weaknesses of weak squares
Proper forcing remastered
Set theory and von Neumann algebras
The HOD dichotomy.