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

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…

Graduate Summer School in Set Theory (Irvine), 20 Jun – 6 Jul 2012

Dear Colleagues/Students, Southern California Logic Group is organizing  a graduate summer school in set theory to be held June 25 through July 6 at the UC Irvine Campus. The topic of the summer schools is Large Cardinals, Inner Models and fine structure. continue reading…

5th Young Set Theory Workshop

The 2012 Young Set Theory Workshop will take place between April 30th and May 4th 2012 in Luminy, France. The aim of this conference is to bring together PhD students, postdocs and young researchers in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a co-operative environment. continue reading…