TY  - RPRT
TI  - Well-foundedness proof for $Π^{1}_{1}$-reflection
AU  - Toshiyasu Arai
PY  - 2023
UR  - https://arxiv.org/abs/2304.03851
ID  - 2304.03851
ER  -