Interpreting Arithmetic in the R.E. Degrees Under ...-Induction

by C. T. Chong , Richard A. Shore , Yue Yang