Sean Cox is an Assistant Professor in the mathematics department at Virginia Commonwealth University.

Cox’s research interests are in forcing, combinatorial set theory, inner model theory, and applications of set theory.

Much of his research focuses on the structure of normal, $\sigma$-complete ideals, such as the nonstationary ideal on a regular uncountable cardinal. He is particularly interested in generic elementary embeddings arising from such ideals and towers of ideals. This topic is central to most branches of set theory, including large cardinals, forcing, and inner model theory.

His results include both relative consistency results (using both forcing and inner model theory), as well as the theory of Martin’s Maximum and the Proper Forcing Axiom.

Sean obtained his PhD at the University of California, Irvine in 2009 under the supervision of Martin Zeman. He was a postdoc at the University of Muenster (Germany) from 2009-2012.

Personal website


Recent and upcoming talks by Sean Cox

Axiomatic set theory and its applications, Kyoto, November 5 – 8, 2018

  Workshop on Axiomatic set theory and its applications   Research Institute for Mathematical Sciences   November 5 – 8, 2018   Kyoto, Japan   ORGANIZER: Hiroaki Minami (Aichi Gakuin) MINICOURSE: Dilip Raghavan (National University of Singapore) SPEAKERS: Teruyuki Yorioka (Shizuoka University) Hiroshi Sakai (Kobe University) Sean Cox (Virginia Commonwealth University) Ulises Ariet Ramos García (Universidad Nacional Autonoma de Mexico, Morelia) Diego A. continue reading…

Special session on Large cardinals and combinatorial set theory, Ann Arbor, October 20-21, 2018

Paul Larson and Andrés E Caicedo are co-organizing a special session at the Fall Central Sectional Meeting 2018 in Ann Arbor, on Large cardinals and combinatorial set theory. The session will take place Saturday October 20 and Sunday October 21. continue reading…

Sean Cox: Guessing models

Time: Mon, 01/04/2016 – 4:00pm – 5:30pm Location: RH 440R Speaker: Sean Cox Institution: Virginia Commonwealth University Abstract: Many consequences of the Proper Forcing Axiom (PFA) factor through the stationarity of the class of guessing models. continue reading…

High and low forcing, San Jose, Jan 11 – 15, 2016

High and low forcing January 11 to January 15, 2016 at the American Institute of Mathematics, San Jose, California organized by Itay Neeman and Dima Sinapova This workshop, sponsored by AIM and the NSF, is devoted to new methods of forcing, in infinitary combinatorics, and in connection with axioms about the real line. continue reading…

Forcing and its applications: Retrospective Workshop, March 29 – April 2, 2015

The meeting will take place at the Field Institute, 222 College Street, Toronto. About In the years 1963-1964, Paul Cohen developed the method of forcing in order to settle Cantor’s Continuum Problem.  continue reading…

Münster conference on fine structure and inner model theory, July 20-24, 2015

  3rd Münster conference on   inner model theory, the core model induction, and hod mice   Institut für Mathematische Logik, WWU Münster,   July 20 — 31, 2015 Organizers: Ralf Schindler (Münster), John Steel (Berkeley)This conference will be a sequel to the 1st Conference on the core model induction and hod mice that was held in Münster (FRB), July 19 — August 06, 2010, to the 2nd Conference on the core model induction and hod mice that was held in Münster (FRG), August 08 — 19, 2011, as well as to the AIM Workshop on Descriptive Inner Model Theory, held in Palo Alto (CA), June 02 — 06, 2014, and to the Conference on Descriptive Inner Model Theory, held in Berkeley (CA) June 09 — 13, 2014. continue reading…

2013 North American Annual ASL Meeting, May 8 – 11, 2013

2013 ASL North American Annual Meeting Waterloo, Ontario, Canada May 8–May 11, 2013 The invited speakers include: U. Andrews, M. Aschenbrenner, R. Blute, D. Kerr, C. McLarty, D. Sinapova, T. Slaman, M. continue reading…

7/Dec/2012: Sean Cox and Bill Mitchell

07/December/2012, 11:15–12:15 Fields institute,Room 230 Speaker: Sean Cox Title: Antichain catching at $\omega_1$ versus antichain catching at $\omega_2$ Abstract: I’ll discuss a property of normal ideals, called projective antichain catching, which lies (implication-wise) between saturation and precipitousness.   continue reading…

Sean Cox: Generalized Laver Diamond

Speaker: Sean Cox Institution: Fields Institute Time: Mon, 11/26/2012 – 4:00pm – 5:30pm Location: RH 440R Laver functions for supercompact cardinals appear in many forcing constructions, including all known constructions of models of strong forcing axioms. continue reading…

Sean Cox: Coding reals by clubs in $[\omega_2]^\omega$

Speaker: Sean Cox Institution: Fields Institute Time: Mon, 10/08/2012 – 4:00pm – 5:30pm Location: RH 440R In the 80s Gitik proved the following theorem: For every real $x$ and every club $D \subseteq [\omega_2]^\omega$, there are $a,b,c \in D$ such that $x \in L(a,b,c)$. continue reading…