Type-raising operations on cardinals and ordinals in Quine’s “New Foundations”, J. Symbolic Logic 39, 59-68. Stratified systems for the Foundations of Category Theory 17 (1973)

by W Henson
Venue:Math. de Belgique (serie B