English

Set Theory is interpretable in Class Ordering Theory

Logic 2023-12-20 v1

Abstract

Here it is shown that standard set theory can be interpreted in a theory about order. The ordering here is about non-extensional flat classes, i.e. classes that are not elements of classes. So, stipulating a nearly well order over all those classes coupled together with indexing that order by elements of those classes, thereby having those elements serve as ordinals; this together with infinity and a replacement like axiom would be shown to interpret ZFC. Moreover, it is shown that a suitable version of this order theory is bi-interpretable with Morse-Kelley set theory augmented with a well ordering on classes.

Keywords

Cite

@article{arxiv.2312.11546,
  title  = {Set Theory is interpretable in Class Ordering Theory},
  author = {Zuhair Al-Johar},
  journal= {arXiv preprint arXiv:2312.11546},
  year   = {2023}
}

Comments

12 pages

R2 v1 2026-06-28T13:55:07.885Z