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
Published: June 2007
First available in Project Euclid: 22 May 2007
zbMATH: 1123.03046
MathSciNet: MR2341560
Digital Object Identifier: 10.36045/bbms/1179839217
Subjects:
Primary:
03E35
,
03E70
Rights: Copyright © 2007 The Belgian Mathematical Society
