It is not the case that Woodin's work on the inner model program suggests that sufficiently strong small large cardinals may eventually yield incompatibility with V=L, undermining the stability of the claimed dichotomy.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.