Quantcast
Channel: Is Morse-Kelley set theory with Class Choice bi-interpretable with itself after removing Extensionality for classes? - MathOverflow
Viewing all articles
Browse latest Browse all 2

Is Morse-Kelley set theory with Class Choice bi-interpretable with itself after removing Extensionality for classes?

$
0
0

Let $\sf MKCC$ stand for Morse-Kelley set theory with Class Choice. And let this theory be precisely $\sf MK$ with a binary primitive symbol $\prec$ added to its language, and the following axioms ensuring that $\prec$ is a well-ordering on classes.

$\textbf {Transitive: }X \prec Y \land Y \prec Z \to X \prec Z \\ \textbf{Co-Connected: } X \not \approx Y \iff [X \prec Y \lor Y \prec X] \\ \textbf {Well-Founded: } \phi(X) \to \exists Y: \phi(Y) \land \forall Z [\phi(Z) \to Z \not \prec Y], \text { for every formula } \phi$

Where: $X \approx Y \iff \forall z \, (z \in X \leftrightarrow z \in Y)$.

Let $\sf MKCC'$ be the theory $\sf MKCC$ with axiom of extensionality replaced by an axiom of extensionality for sets only.

Is $\sf MKCC'$ bi-interpretable with $\sf MKCC$?


Viewing all articles
Browse latest Browse all 2

Trending Articles