1. [M5] Mathias, A. R. D., “Rudimentary recursion and provident sets,” preprint, 2009, http://www.dpmms.cam.ac.uk/~ardm/rudrec41.pdf.
2. [M6] Mathias, A. R. D., “Provident sets and rudimentary set forcing,” preprint, 2009, http://www.dpmms.cam.ac.uk/~ardm/fifo31.pdf.
3. [W] Weaver, N., “Analysis in $J_{2}$,” preprint, arXiv:math.LO/0509245.
4. [De] Devlin, K., Constructibility, Perspectives in Mathematical Logic, Springer, Berlin, 1984.
5. [Do] Dodd, A. J., The Core Model, vol. 61 of London Mathematical Society Lecture Note Series, Cambridge University Press, Cambridge, 1982.