招待有り 2009年6月 Provably $\Delta^{0}_{2}$ and weakly descending chains of ordinals, Eleventh Asian Logic Conference T. Arai