Publication:3803100
From MaRDI portal
zbMath0656.03029MaRDI QIDQ3803100
Publication date: 1989
Cantor's naive comprehension schemeMonotone set theoryStratified set theoryTopological set theoryuniversal set theory
Axiomatics of classical set theory and its fragments (03E30) Other classical set theory (including functions, relations, and set algebra) (03E20)
Related Items
A general construction of hyperuniverses, Choice principles in hyperuniverses, Processes and hyperuniverses, Inconsistency of GPK + AFA, An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory, A topological set theory implied by ZF and GPK+∞, On topological set theory, On the Consistency of a Positive Theory