Modulated fibring and the collapsing problem (0)

by C Sernadas, J Rasga, W A Carnielli
Venue:Journal of Symbolic Logic