1. [4] Neeman, I., “An inner models proof of the Kechris–Martin theorem,” to appear in The Cabal Seminar, Vol IV, edited by A. S. Kechris, B. Löwe, and J. R. Steel, http://www.math.ucla.edu/~ineeman/ (accessed August 1, 2014).
2. [6] Sargsyan, G., “Non-tame mouse from the failure of square at a singular strong limit cardinal,” preprint, http://math.rutgers.edu/~gs481 (accessed August 1, 2012).
3. [7] Sargsyan, G., “A tale of hybrid mice,” preprint, http://math.rutgers.edu/~gs481/hodmice.html.
4. [8] Schimmerling, E., “Open problems,” preprint, http://www.math.cmu.edu/users/eschimme/AIM/problems.pdf.
5. [9] Schindler, R., and J. R. Steel, “The core model induction,” math.berkeley.edu/~steel.