1. G. Adamsson, “Diagonalizable algebras and the length of proofs,” Magister-uppsats (Göteborgs Univ./Inst. för filosofi, lingvistik och vetenskapsteori, 2011).
2. L. D. Beklemishev, Arch. Math. Logic 37, 275–296 (1998).
3. L. D. Beklemishev, Arch. Math. Logic 42, 515–552 (2003).
4. L. D. Beklemishev, Russ. Math. Surv. 60 (2), 197–268 (2005).
5. R. Magari, Boll. d. Unione Mat. Ital. Suppl. Fasc. 3. 4 (12), 117–125 (1975).