The proper and semi-proper forcing axioms for forcing notions that preserve ℵ₂ or ℵ₃ (Q3625559): Difference between revisions

@@ Property / cites work @@
+Diamond (on the regulars) can fail at any strongly unfoldable cardinal
+Normal rank
@@ Property / cites work @@
+The bounded proper forcing axiom
@@ Property / cites work: The bounded proper forcing axiom / rank @@
+Normal rank
@@ Property / cites work @@
+The lottery preparation
@@ Property / cites work: The lottery preparation / rank @@
+Normal rank
@@ Property / cites work @@
+Indescribable cardinals and elementary embeddings
@@ Property / cites work: Indescribable cardinals and elementary embeddings / rank @@
+Normal rank
@@ Property / cites work @@
+Indestructible strong unfoldability
@@ Property / cites work: Indestructible strong unfoldability / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly unfoldable cardinals made indestructible
@@ Property / cites work: Strongly unfoldable cardinals made indestructible / rank @@
+Normal rank
@@ Property / cites work @@
+Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
+Normal rank
@@ Property / cites work @@
+On strong compactness and supercompactness
@@ Property / cites work: On strong compactness and supercompactness / rank @@
+Normal rank
@@ Property / cites work @@
+Q2784785
@@ Property / cites work: Q2784785 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of forcing axioms II
@@ Property / cites work: Hierarchies of forcing axioms II / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of forcing axioms I
@@ Property / cites work: Hierarchies of forcing axioms I / rank @@
+Normal rank
@@ Property / cites work @@
+Chains of end elementary extensions of models of set theory
+Normal rank