Arai, Toshiyasu, cProgress in the Proof Theory Related to Hilbers Second Problemd, Sugaku Expositions 57 (2008), 83396
V. Peckhaus, zbMATH Open, Zbl. 1206.01030 (2011).