Eine axiomatische Mengenlehre mit größtem Universum und Hyperklassen (Q1151891): Difference between revisions

@@ Property / cites work @@
+Ein Aufbau der Mengenlehre mit transfiniten Typen, formalisiert im Prädikatenkalkül der ersten Stufe
+Normal rank
@@ Property / cites work @@
+Q5638322
@@ Property / cites work: Q5638322 / rank @@
+Normal rank
@@ Property / cites work @@
+Superclasses in a Finite Extension of Zermelo Set Theory
+Normal rank
@@ Property / cites work @@
+Q4103095
@@ Property / cites work: Q4103095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4189277
@@ Property / cites work: Q4189277 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank