Invariance under permutations as a semantic motivation for Stratification
Logic
2020-12-16 v1
Abstract
This article examines the notion of invariance under different kinds of permutations in a milieu of a theory of classes and sets, as a semantic motivation for Quine's new foundations "NF". The approach largely depends on interpreting a finite axiomatization of NF beginning from the least restrictions on permutations and then gradually upgrading those restrictions as to enable interpreting NF. Comparisons with earlier works are drawn.
Keywords
Cite
@article{arxiv.2012.08299,
title = {Invariance under permutations as a semantic motivation for Stratification},
author = {Zuhair Al-Johar},
journal= {arXiv preprint arXiv:2012.08299},
year = {2020}
}
Comments
12 pages