Stratified and positive comprehension seen as superclass rules over ordinary set theory
From MaRDI portal
Publication:3472094
DOI10.1002/malq.19900360605zbMath0696.03026OpenAlexW2059656889MaRDI QIDQ3472094
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
extensionalityNew FoundationsNFanti-foundationsuperclassGPFcomprehension for generalized positive formulasstrongly extensional relations
Related Items (2)
This page was built for publication: Stratified and positive comprehension seen as superclass rules over ordinary set theory