Skip to main content
2 of 2
Fix `\sf` grouping
LSpice
  • 12.9k
  • 4
  • 45
  • 69

What's the benefit of adding a well-ordering over all classes to $\textsf{MK}$?

Working in $\textsf{ZF} + \text {there is a strongly inaccessible cardinal}$.

Let $\kappa$ be the first strongly inaccessible cardinal, and let $\lvert V_\kappa\rvert= \kappa$, then $(V_{\kappa+1}, \in)$ would be a model of $\textsf{MK}$.

Now, is it consistent to add that $V_{\kappa+1}$ is non-well-orderable?

If yes, then what's the benefit of having $V_{\kappa+1}$ well-orderable, on the theory $\textsf{MK}$? I mean what additional axioms in the language of $\textsf{MK}$ would this confer?

Zuhair Al-Johar
  • 11.3k
  • 1
  • 13
  • 47