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.
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