1. [14] Dzhafarov, D. D., Reverse Mathematics Zoo, http://www.rmzoo.uconn.edu/ (accessed November 17, 2020).
2. [27] Koellner, P., “Large cardinals and determinacy,” Stanford Encyclopedia of Philosophy, published online May 22, 2013. https://plato.stanford.edu/archives/spr2014/entries/large-cardinals-determinacy/.
3. [44] Normann, D., and S. Sanders, “Representations in measure theory,” preprint, arXiv:1902.02756v3 [math.LO].
4. [48] Sanders, S., “Plato and the foundations of mathematics,” preprint, arXiv:1908.05676v6 [math.LO].
5. [1] Avigad, J., and S. Feferman, “Gödel’s functional (‘Dialectica’) interpretation,” pp. 337–405 in Handbook of Proof Theory, edited by S. R. Buss, vol. 137 of Studies in Logic and the Foundations of Mathematics, North Holland, Amsterdam, 1998.