Covering theorems for the core model, and an application to stationary set reflection. - Sean Cox 001 (Ann. Pure Appl. Log., 2009)

Consistency strength of higher chang's conjecture, without CH. - Sean D. Cox (Arch. Math. Log., 2011)

Nonregular ultrafilters on ω2. - Sean Cox 001 (J. Symb. Log., 2011)

PFA and Ideals on ω2 Whose Associated Forcings Are Proper. - Sean Cox 001 (Notre Dame J. Formal Log., 2012)

Ideal Projections and forcing Projections. - Sean Cox 001; Martin Zeman (J. Symb. Log., 2014)

Quotients of strongly Proper Forcings and Guessing Models. - Sean Cox 001; John Krueger (J. Symb. Log., 2016)

Characterizing large cardinals in terms of layered posets. - Sean Cox 001; Philipp Lücke (Ann. Pure Appl. Log., 2017)

Omer Ben-Neria, The structure of the Mitchell order-I. Israel Journal of Mathematics vol. 214 (2016), no. 2, pp. 945-982. - Omer Ben-Neria, The structure of the Mitchell order-II. Annals of Pure and Applied Logic, vol. 166 (2015), no. 12, pp. 1407-1432. - Sy-David Friedman and Menachem Magidor, The number of normal measures. Journal of Symbolic Logic, vol. 74 (2009), no. 3, pp. 1069-1080. - Sean D. Cox (Bull. Symb. Log., 2017)

Namba forcing, Weak Approximation, and Guessing. - Sean Cox 001; John Krueger (J. Symb. Log., 2018)

On the universality of the nonstationary ideal. - Sean D. Cox (Math. Log. Q., 2018)

A variant of Shelah's characterization of Strong Chang's Conjecture. - Sean Cox 001; Hiroshi Sakai (Math. Log. Q., 2019)

Layered Posets and Kunen's Universal Collapse. - Sean Cox 001 (Notre Dame J. Formal Log., 2019)

Forcing Axioms, Approachability, and stationary Set Reflection. - Sean D. Cox (J. Symb. Log., 2021)

The diagonal Strong Reflection Principle and its Fragments. - Sean D. Cox; Gunter Fuchs (J. Symb. Log., 2023)

Compactness versus hugeness at successor cardinals. - Sean Cox 001; Monroe Eskew (J. Math. Log., 2023)

Vopěnka's Principle, Maximum Deconstructibility, and Singly-Generated Torsion Classes. - Sean Cox 001 (Appl. Categorical Struct., 2025)