The consistency problem for positive comprehension principles

DOI10.2307/2274822MaRDI QIDQ3480030zbMATH OpenOpenAlexFDO

Authors

Publication date 1989

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274822

zbMATH Keywords

consistency of unrestricted comprehensionextensionality

Mathematics Subject Classification ID

Consistency and independence results (03E35)

Recommendations

• scientific article; zbMATH DE number 19149
• An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory
• scientific article; zbMATH DE number 4037855
• Inconsistency of the axiom of choice with the positive theory \(\text{GPK}_\infty^+\)
• Positive abstraction and extensionality
• scientific article; zbMATH DE number 2115803
• scientific article; zbMATH DE number 5238362
• scientific article; zbMATH DE number 1870422
• Some perverse effects of positivity
• The axiom scheme of acyclic comprehension

Cited in

(21)

• A general construction of hyperuniverses
• Models for a paraconsistent set theory
• Choice principles in hyperuniverses
• Optimizing water tanks in water distribution systems by combining network reduction, mathematical optimization and hydraulic simulation
• The axiom scheme of acyclic comprehension
• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
• About a positive set theory with equality
• On a positive set theory with inequality
• Forcing with the anti-foundation axiom
• Positive abstraction and extensionality
• Implementing Cantor's paradise
• 2004 Summer Meeting of the Association for Symbolic Logic
• scientific article; zbMATH DE number 4037855 (Why is no real title available?)
• On the Consistency of a Positive Theory
• scientific article; zbMATH DE number 2152227 (Why is no real title available?)
• 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03
• 2003 Annual Conference of the Australasian Association for Logic
• scientific article; zbMATH DE number 1870422 (Why is no real title available?)
• A topological set theory implied by \(\text{ZF}\) and \(\text{GPK}^+_\infty\)
• Processes and hyperuniverses
• A strong model of paraconsistent logic

This page was built for publication: The consistency problem for positive comprehension principles

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