Holmstrom Set theory

Lots of unlinked stuff on nLab, see for example inaccessible cardinal

http://mathoverflow.net/questions/24552/what-interesting-nontrivial-results-in-algebraic-geometry-require-the-existence-o

I think there are good explanations of some things about cardinals in Lurie somewhere.

nLab page on Set theory