The consistency problem for positive comprehension principles

DOI10.2307/2274822zbMath0702.03026OpenAlexW4255801419MaRDI QIDQ3480030

No author found.

Publication date: 1989

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

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

zbMATH Keywords

extensionalityconsistency of unrestricted comprehension

Mathematics Subject Classification ID

Consistency and independence results (03E35)

Related Items

Positive abstraction and extensionality ⋮ Implementing Cantor’s Paradise ⋮ A general construction of hyperuniverses ⋮ Choice principles in hyperuniverses ⋮ Processes and hyperuniverses ⋮ 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 ⋮ A topological set theory implied by ZF and GPK⁺_∞ ⋮ Optimizing water tanks in water distribution systems by combining network reduction, mathematical optimization and hydraulic simulation ⋮ A strong model of paraconsistent logic ⋮ Models for a paraconsistent set theory ⋮ 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 ⋮ 2003 Annual Conference of the Australasian Association for Logic ⋮ 2004 Summer Meeting of the Association for Symbolic Logic ⋮ On a positive set theory with inequality ⋮ Forcing with the Anti-Foundation axiom ⋮ On the Consistency of a Positive Theory