On the extender algebra being complete. - Richard Ketchersid; Stuart Zoble (Math. Log. Q., 2006)

Increasing δ12 and Namba-style forcing. - Richard Ketchersid; Paul B. Larson; Jindrich Zapletal (J. Symb. Log., 2007)

Regular embeddings of the stationary tower and Woodin's Sigma22 maximality theorem. - Richard Ketchersid; Paul B. Larson; Jindrich Zapletal (J. Symb. Log., 2010)

Determinacy and JóNsson Cardinals in L(ℝ). - S. Jackson; Richard Ketchersid; Farmer Schlutzenberg; W. Hugh Woodin (J. Symb. Log., 2014)