Annual Meeting of the Association for Symbolic Logic: Denver, 1983. - Carl G. Jockusch Jr.; Richard Laver; J. Donald Monk; Jan Mycielski; Jon Pearce (J. Symb. Log., 1984)

Implications Between Strong Large Cardinal Axioms. - Richard Laver (Ann. Pure Appl. Log., 1997)

Reflection of elementary embedding axioms on the L[V Lambda+1] hierarchy. - Richard Laver (Ann. Pure Appl. Log., 2001)

Certain very large cardinals are not created in small forcing extensions. - Richard Laver (Ann. Pure Appl. Log., 2007)