TY  - RPRT
TI  - Wellfoundedness proof with the maximal distinguished set
AU  - Toshiyasu Arai
PY  - 2022
UR  - https://arxiv.org/abs/2211.08619
ID  - 2211.08619
ER  -