The Ultimate-
conjecture asserts, in a setting involving suitably large cardinals,
the existence of an Ultimate L-like inner model and
predicts that the set-theoretic universe satisfies
 |
The conjecture is part of Woodin's Ultimate-
program for extending canonical inner model theory to very
strong cardinals.
: The 19th Midrasha Mathematicae Lectures." Bull. Symb.
Logic 23, 1-109, 2017.