Publication:3996557

zbMath0698.04003MaRDI QIDQ3996557

Dieter Klaua

Publication date: 17 September 1992

zbMATH Keywords

urelements; Kelley-Morse type abstract set theory; set theory with hyperclasses

Mathematics Subject Classification ID

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations

03E30: Axiomatics of classical set theory and its fragments