On reflection principles (2009)

by P Koellner
Venue:Annals of Pure and Applied Logic