MR2648161 (2011f:03070) Ketchersid, Richard ; Larson, Paul B. ; Zapletal, Jindřich . Regular embeddings of the stationary tower and Woodin's Σ22 maximality theorem. J. Symbolic Logic 75 (2010), no. 2, 711--727.

MR2777745 (2012h:03132) Ketchersid, Richard . More structural consequences of AD. Set theory and its applications, 71--105, Contemp. Math., 533, Amer. Math. Soc., Providence, RI, 2011.

MR3343535 Jackson, S. ; Ketchersid, R. ; Schlutzenberg, F. ; Woodin, W. H. Determinacy and Jónsson cardinals in L(R). J. Symb. Log. 79 (2014), no. 4, 1184--1198.