Relaxing stratification

Olivier Esser, Thomas Forster

    Research output: Contribution to journalArticle

    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 languageEnglish
    Pages (from-to)247-258
    Number of pages12
    JournalBulletin of the Belgian Mathematical Society - Simon Stevin
    Volume14
    Issue number2
    DOIs
    Publication statusPublished - 2007

    Cite this