Connor Watson

About

I received my B.S. and M.S. in Mathematics from Florida Atlantic University, completing my master's thesis, “The Consistency Strength of the Generalized Continuum Hypothesis Failing at a Measurable Cardinal,” in May 2025 under the supervision of Dr. Robert Lubarsky.

My research interests lie in set theory, primarily descriptive inner model theory, but I also quite like anything to do with forcing and large cardinals, for example Prikry-type forcings and the tree property.

I currently live in Pittsburgh, where I work with James Cummings on extender-based Prikry forcings.

Papers

1. The Reals of $\mathrm{HOD}^{L[x]}$ are fixed for $x\geq_T M_1^\sharp$
   With Farmer Schlutzenberg — In progress
2. A formula for any real number, maybe
   With James E. Hanson, 2026 — arXiv
3. The Consistency Strength of the Generalized Continuum Hypothesis Failing at a Measurable Cardinal
   Master's thesis, 2025 — PDF
4. Existence of a Model of $o(\kappa)=\kappa^{++}$ from Failure of GCH at a Measurable Cardinal
   2024 — arXiv

Talks

• Pointwise Definable Models of ZFC
  CMU Graduate Student Set Theory Model Theory Seminar
• The GCH Can Fail at a Measurable Cardinal
  CMU Graduate Student Set Theory Model Theory Seminar
• A Formula for Any Real Number, Maybe
  UChicago Graduate Student Logic and Combinatorics Seminar
• A Formula for Any Real Number, Maybe
  Iowa State University Logic Seminar

Contact

Email: watsonc2020@fau.edu