User blog:Meowzz/Question: 0=1 Cardinal

Does anyone have any information on the Reinhardt Cardinal, Ultimate L or the Omega Conjecture?

Question stems from reading this:


 * "There might be a "largest large cardinal axiom", but we don't know that at this point. There have been things proposed that are "too strong", such as the existence of a Reinhardt cardinal (which is equivalent to "0 = 1").


 * Best progress in this direction at the moment is Woodin's work on (1) Ultimate L and (2) the Omega Conjecture. The large cardinal program is far from complete though, so we really don't know what happens. The hope is that something like Ultimate L will "resolve the siutation" by being the definitive statement about large cardinals, but this is tricky to even clearly define."

via https://www.reddit.com/r/math/comments/622by1/is_there_a_final_inaccessible_cardinal/