3 works on record
Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory
Ultrafilters Throughout Mathematics
Model Theory of Operator Algebras