On Compactness by Terence Tao [pdf]
math.ucla.edu