1. LNL;B. Blankertz,1996
2. Buchholz, W., Cichon, A., Weiermann, A.: A Uniform Approach to Fundamental Sequences and Hierarchies. Mathematical Logic Quarterly 40, 273–286 (1994)
3. Cai, M.: Degrees of Relative Provability. Accepted for publication in the Notre Dame Journal of Formal Logic (manuscript)
4. Cai, M.: Elements of Classical Recursion Theory: Degree-Theoretic Properties and Combinatorial Properties. PhD Thesis, Department of Mathematics, Cornell University (2011)
5. Kaye, R.: Models of Peano Arithmetic. Clarendon Press, Oxford (1991)