1 problem

Let $\mathrm{EEA}$ denote the Extender Embedding Axiom, and let $V=\mathrm{Ultimate-}L$ denote the corresponding Ultimate-$L$ axiom. Woodin's Ultimate-$L$ conjecture. The theory ……