# The uniqueness of $\mathbb R$-supercompactness measures in ZFC

## Daniel Rodriguez

### Carnegie Mellon University

${\rm AD}_{\mathbb R}$ is a strengthening of the determinacy axiom that states that all games on the real numbers are determined. It is a Theorem of Solovay that under ${\rm ZF}+{\rm AD}_{\mathbb R}$ there is a fine, countably complete and normal filter on $P_{\omega_1}(\mathbb R)$, so $\omega_1$ is $\mathbb R$-supercompact. The exact consistency strength of the theory ${\rm ZF}+ {\rm AD}+$“$\omega_1$ is $\mathbb{R}$-supercompact” is, however, weaker than the one of ${\rm ZF}+{\rm AD}_{\mathbb R}$.

One central interest of Inner Model Theory is to construct/find canonical models for theories extending ${\rm ZF}$. A natural question is, then, whether there is a canonical model for the theory ${\rm ZF}+ {\rm AD}+$“$\omega_1$ is $\mathbb{R}$-supercompact”.

In this talk, we will discuss the consistency strength and minimal models of this theory. We will discuss the proof of the uniqueness of minimal models of this theory, under various appropriate hypotheses. And time permitting we will discuss the proof of the result that under ${\rm ZFC}$ there is at most one minimal model of this theory. This is joint work with Nam Trang.

Dr. Daniel Rodriguez is a postdoctoral associate at Carnegie Mellon University. He received his PhD under the supervision of Ernest Schimmerling in 2016. His research interests include descriptive inner theory and large cardinals in the context of determinacy.