Abstract
A number of ways of relaxing the stratification constraint for the axioms of Quine's NF are reviewed. It is shown how most of them result in inconsistency.
Citation
Olivier Esser. Thomas Forster. "Relaxing stratification." Bull. Belg. Math. Soc. Simon Stevin 14 (2) 247 - 258, June 2007. https://doi.org/10.36045/bbms/1179839217
Information