Generalizations of the Kunen inconsistency (Q714722): Difference between revisions

@@ Property / cites work @@
+Set-theoretic geology
@@ Property / cites work: Set-theoretic geology / rank @@
+Normal rank
@@ Property / cites work @@
+Closed maximality principles: implications, separations and combinations
+Normal rank
@@ Property / cites work @@
+Q4109673
@@ Property / cites work: Q4109673 / rank @@
+Normal rank
@@ Property / cites work @@
+What is the theory  without power set?
@@ Property / cites work: What is the theory without power set? / rank @@
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Mathematical Import of Zermelo's Well-Ordering Theorem
+Normal rank
@@ Property / cites work @@
+Q3535899
@@ Property / cites work: Q3535899 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary embeddings and infinitary combinatorics
+Normal rank
@@ Property / cites work @@
+On the sequence of models $HOD_n$
@@ Property / cites work: On the sequence of models $HOD_n$ / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955952
@@ Property / cites work: Q4955952 / rank @@
+Normal rank
@@ Property / cites work @@
+Proper forcing and <i>L</i>(ℝ)
@@ Property / cites work: Proper forcing and <i>L</i>(ℝ) / rank @@
+Normal rank
@@ Property / cites work @@
+Non-existence of generic elementary embeddings into the ground model
+Normal rank
@@ Property / cites work @@
+No elementary embedding from v into v is definable from parameters
+Normal rank
@@ Property / cites work @@
+On elementary embeddings from an inner model to the universe
+Normal rank
@@ Property / cites work @@
+Iterating ordinal definability
@@ Property / cites work: Iterating ordinal definability / rank @@
+Normal rank
@@ Property / cites work @@
+A new proof of Kunen’s inconsistency
@@ Property / cites work: A new proof of Kunen’s inconsistency / rank @@
+Normal rank