Inaccessible set axioms may have little consistency strength (2001)

by L Crosilla, M Rathjen
Venue:Annals of Pure and Applied Logic