Very large set axioms over constructive set theories

Hanul Jeon, Richard Matthews

We investigate large set axioms defined in terms of elementary embeddings over constructive set theories, focusing on $\mathsf{IKP}$ and $\mathsf{CZF}$. Most previously studied lar…