1. [5] Enayat, A., and A. Visser, “Full satisfaction classes in a general setting (Part I),” preprint, https://pdfs.semanticscholar.org/730d/be402772e16926179b92bfa1416f636ce340.pdf (accessed 21 May 2017).
2. [6] Enayat, A., and A. Visser, “New constructions of satisfaction classes,” pp. 321–35 in Unifying the Philosophy of Truth, edited by T. Achourioti, H. Galinon, J. M. Fernández, and K. Fujimoto, Springer, New York, 2015. DOI 10.1007/978-94-017-9673-6.
3. [19] Heck, R. G., Jr., “The strength of truth-theories,” preprint, http://rgheck.frege.org/pdf/unpublished/StrengthOfTruthTheories.pdf (accessed 21 May 2017).
4. [20] Heck, R. G., “Disquotationalism and the compositional principles,” preprint, http://rgheck.frege.org/pdf/unpublished/CompositionalPrinciples.pdf, 2013(accessed 21 May 2017).
5. [1] Beklemishev, L. D., “Reflection schemes and provability algebras in formal arithmetic,” Russian Mathematical Surveys, vol. 60 (2005), pp. 197–268.