research

I0 and rank-into-rank axioms

Abstract

This is a survey about I0 and rank-into-rank axioms, with some previously unpublished proofs

    Similar works