Collapsing functions based on recursively large cardinals: A wellordering proof for KPM (1994)

by M Rathjen
Venue:Arch. Math. Logic