TY  - RPRT
TI  - How strong is a Reinhardt set over extensions of CZF?
AU  - Hanul Jeon
PY  - 2022
UR  - https://arxiv.org/abs/2101.07455
ID  - 2101.07455
ER  -