Speaker
Andrew BrookeTaylor
University of Leeds
Talks at this conference:
Tuesday, 18:10, J335 
Disentangling Sigma_2 variants of supercompactness 
If you know what a supercompact cardinal is, there are many possibilities
that come to mind for what the phrase “\(\Sigma_2\)supercompact” could mean.
Noting that \(\textrm{HOD}\) is \(\Sigma_2\)definable, it is natural to throw
\(\textrm{HOD}\)supercompactness and supercompactness in \(\textrm{HOD}\) into
this mix, particularly given the interest in large cardinals in \(\textrm{HOD}\)
arising from Woodin’s \(\textrm{HOD}\) conjecture. Bibliography
