Collapsing functions based on recursively large cardinals: a well-ordering proof for (1994)

by M Rathjen
Venue:KPM, Arch. Math. Logic