rank-into-rank

large cardinal property given by elementary embeddings of initial fragments of the von Neumann hierarchy V

Categories: