Eine axiomatische Mengenlehre mit größtem Universum und Hyperklassen

DOI10.1007/BF01442483zbMath0459.03023MaRDI QIDQ1151891

Dieter Klaua

Publication date: 1981

Published in: Monatshefte für Mathematik (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/178041

zbMATH Keywords

urelementsclasseshyperclasseslargest universeset-theoretic foundation for mathematics

Mathematics Subject Classification ID

Large cardinals (03E55) Axiomatics of classical set theory and its fragments (03E30) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• Ein Aufbau der Mengenlehre mit transfiniten Typen, formalisiert im Prädikatenkalkül der ersten Stufe
• Superclasses in a Finite Extension of Zermelo Set Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Eine axiomatische Mengenlehre mit größtem Universum und Hyperklassen