jdh.hamkins.org
Some second order set theory
[bibtex key=Hamkins2009:SomeSecondOrderSetTheory]