Stratified and positive comprehension seen as superclass rules over ordinary set theory
From MaRDI portal
Publication:3472094
DOI10.1002/MALQ.19900360605zbMATH Open0696.03026OpenAlexW2059656889MaRDI QIDQ3472094FDOQ3472094
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
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
extensionalityNew FoundationsNFanti-foundationsuperclassGPFcomprehension for generalized positive formulasstrongly extensional relations
Cited In (7)
- Broadening the iterative conception of set
- Mathematical objects arising from equivalence relations and their implementation in Quine's NF
- Title not available (Why is that?)
- Strong axioms of infinity in NFU
- Title not available (Why is that?)
- 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)
