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

DOI10.1002/MALQ.19900360605MaRDI QIDQ3472094zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Theories of types and names with positive stratified comprehension
• Supervaluations and the strict-tolerant hierarchy
• Cumulative Higher-Order Logic as a Foundation for Set Theory
• Intensional positive and paradoxical set theory
• A cumulative hierarchy of sets for constructive set theory
• The formulae-as-classes interpretation of constructive set theory
• Toward a modal-structural interpretation of set theory
• ON SUPERINTUITIONISTIC PROPOSITIONAL LOGICS CONNECTED WITH PARTIALLY ORDERED SETS
• scientific article; zbMATH DE number 3639589
• The interpretation of classes in axiomatic set theory

Cited in

(7)

• Broadening the iterative conception of set
• Mathematical objects arising from equivalence relations and their implementation in Quine's NF
• scientific article; zbMATH DE number 591401 (Why is no real title available?)
• Strong axioms of infinity in NFU
• scientific article; zbMATH DE number 1870422 (Why is no real title available?)
• About the coexistence of “classical sets” with “non-classical” ones: A survey
• Embedding Properties and Anti-Foundation in Set Theory

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3472094)