Stratified and positive comprehension seen as superclass rules over ordinary set theory

DOI10.1002/malq.19900360605zbMath0696.03026OpenAlexW2059656889MaRDI QIDQ3472094

Roland Hinnion

Publication date: 1990

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19900360605

zbMATH Keywords

extensionalityNew FoundationsNFanti-foundationsuperclassGPFcomprehension for generalized positive formulasstrongly extensional relations

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Related Items (2)

Broadening the iterative conception of set ⋮ Strong axioms of infinity in NFU

This page was built for publication: Stratified and positive comprehension seen as superclass rules over ordinary set theory