TY  - RPRT
TI  - Kreisel-Lévy-type theorems for Kripke-Platek and other set theories
AU  - Shuangshuang Shu
AU  - Michael Rathjen
PY  - 2022
UR  - https://arxiv.org/abs/2212.02843
ID  - 2212.02843
ER  -