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