TY  - RPRT
TI  - Well-foundedness proof for first-order reflection
AU  - Toshiyasu Arai
PY  - 2019
UR  - https://arxiv.org/abs/1506.05280
ID  - 1506.05280
ER  -