Relaxing stratification

Olivier Esser; Thomas Forster

doi:10.36045/bbms/1179839217

Relaxing stratification

Olivier Esser, Thomas Forster

Research output: Contribution to journal › Article

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.

Original language	English
Pages (from-to)	247-258
Number of pages	12
Journal	Bulletin of the Belgian Mathematical Society - Simon Stevin
Volume	14
Issue number	2
DOIs	https://doi.org/10.36045/bbms/1179839217
Publication status	Published - 2007

Access to Document

10.36045/bbms/1179839217

Cite this

@article{0b4e38c4bee744ff8b942242628fefb6,

title = "Relaxing stratification",

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

author = "Olivier Esser and Thomas Forster",

year = "2007",

doi = "10.36045/bbms/1179839217",

language = "English",

volume = "14",

pages = "247--258",

journal = "Bulletin of the Belgian Mathematical Society - Simon Stevin",

number = "2",

}

TY - JOUR

T1 - Relaxing stratification

AU - Esser, Olivier

AU - Forster, Thomas

PY - 2007

Y1 - 2007

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

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

U2 - 10.36045/bbms/1179839217

DO - 10.36045/bbms/1179839217

M3 - Article

VL - 14

SP - 247

EP - 258

JO - Bulletin of the Belgian Mathematical Society - Simon Stevin

JF - Bulletin of the Belgian Mathematical Society - Simon Stevin

IS - 2

ER -