1. J. Barwise, Admissible sets and Structures (Springer, Berlin).
2. Constructibility;Devlin,1984
3. The Core Model;Dodd,1982
4. On the Consistency strength of “accessible” Jonsson cardinals;Donder;Ann. Pure Appl. Logic,1983
5. The Equivalence of Determinacy and Iterated Sharps;DuBose;J. Symbolic Logic,1990