Obtaining Woodin’s cardinals (Q5351854): Difference between revisions

@@ Property / cites work @@
+Zur Axiomatik der Mengenlehre
@@ Property / cites work: Zur Axiomatik der Mengenlehre / rank @@
+Normal rank
@@ Property / cites work @@
+\(C ^{(n)}\)-cardinals
@@ Property / cites work: \(C ^{(n)}\)-cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Subcompact cardinals, squares, and stationary reflection
+Normal rank
@@ Property / cites work @@
+Q4914617
@@ Property / cites work: Q4914617 / rank @@
+Normal rank
@@ Property / cites work @@
+On strong forms of reflection in set theory
@@ Property / cites work: On strong forms of reflection in set theory / rank @@
+Normal rank
@@ Property / cites work @@
+What is Cantor's Continuum Problem?
@@ Property / cites work: What is Cantor's Continuum Problem? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315890
@@ Property / cites work: Q4315890 / rank @@
+Normal rank
@@ Property / cites work @@
+On reflection principles
@@ Property / cites work: On reflection principles / rank @@
+Normal rank
@@ Property / cites work @@
+On Ackermann's set theory
@@ Property / cites work: On Ackermann's set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Principles of partial reflection in the set theories of Zermelo and Ackermann
+Normal rank
@@ Property / cites work @@
+Mathematics in Megethology
@@ Property / cites work: Mathematics in Megethology / rank @@
+Normal rank
@@ Property / cites work @@
+Higher order reflection principles
@@ Property / cites work: Higher order reflection principles / rank @@
+Normal rank
@@ Property / cites work @@
+On the role of supercompact and extendible cardinals in logic
+Normal rank
@@ Property / cites work @@
+Ackermann's set theory equals ZF
@@ Property / cites work: Ackermann's set theory equals ZF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4088821
@@ Property / cites work: Q4088821 / rank @@
+Normal rank
@@ Property / cites work @@
+Set existence principles of Shoenfield, Ackermann, and Powell
+Normal rank
@@ Property / cites work @@
+Q4674792
@@ Property / cites work: Q4674792 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4367940
@@ Property / cites work: Q4367940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2756771
@@ Property / cites work: Q2756771 / rank @@
+Normal rank