TY  - RPRT
TI  - Lifting proof theory to the countable ordinals II: second-order indescribable cardinals
AU  - Toshiyasu Arai
PY  - 2014
UR  - https://arxiv.org/abs/1409.1336
ID  - 1409.1336
ER  -