1. [1] Barwise, J., Admissible Sets and Structures, Springer, Berlin, 1975.
2. [2] Boolos, G., The Logic of Provability, Cambridge University Press, Cambridge, 1993.
3. [3] Boolos, G., Logic, Logic, and Logic, Harvard University Press, Cambridge, Mass., 1998.
4. [4] Drake, F. R., Set Theory: An Introduction to Large Cardinals, vol. 76 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1974.
5. [5] Enayat, A., “Models of set theory with definable ordinals,” Archive for Mathematical Logic, vol. 44 (2005), pp. 363–85.