The envelope of a pointclass under a local determinacy hypothesis (Q2352255): Difference between revisions

@@ Property / cites work @@
+Q4951682
@@ Property / cites work: Q4951682 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2765579
@@ Property / cites work: Q2765579 / rank @@
+Normal rank
@@ Property / cites work @@
+Combined Maximality Principles up to large cardinals
+Normal rank
@@ Property / cites work @@
+Structural Consequences of AD
@@ Property / cites work: Structural Consequences of AD / rank @@
+Normal rank
@@ Property / cites work @@
+Stacking mice
@@ Property / cites work: Stacking mice / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Countable Analytical Sets
@@ Property / cites work: The Theory of Countable Analytical Sets / rank @@
+Normal rank
@@ Property / cites work @@
+On the Relative Consistency Strength of Determinacy Hypothesis
+Normal rank
@@ Property / cites work @@
+Q3607634
@@ Property / cites work: Q3607634 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3001419
@@ Property / cites work: Q3001419 / rank @@
+Normal rank
@@ Property / cites work @@
+Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
+Normal rank
@@ Property / cites work @@
+Q3607625
@@ Property / cites work: Q3607625 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3607624
@@ Property / cites work: Q3607624 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3611514
@@ Property / cites work: Q3611514 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3607622
@@ Property / cites work: Q3607622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3607623
@@ Property / cites work: Q3607623 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322161
@@ Property / cites work: Q5322161 / rank @@
+Normal rank
@@ Property / cites work @@
+The largest countable inductive set is a mouse set
+Normal rank
@@ Property / cites work @@
+Hod mice and the Mouse Set Conjecture
@@ Property / cites work: Hod mice and the Mouse Set Conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+PFA implies AD<sup><i>L</i>(ℝ)</sup>
@@ Property / cites work: PFA implies AD<sup><i>L</i>(ℝ)</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Q3597425
@@ Property / cites work: Q3597425 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3607627
@@ Property / cites work: Q3607627 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3607626
@@ Property / cites work: Q3607626 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3656432
@@ Property / cites work: Q3656432 / rank @@
+Normal rank
@@ Property / cites work @@
+Scales on \(\Pi^2_1\) sets
@@ Property / cites work: Scales on \(\Pi^2_1\) sets / rank @@
+Normal rank
@@ Property / cites work @@
+SUITABLE EXTENDER MODELS I
@@ Property / cites work: SUITABLE EXTENDER MODELS I / rank @@
+Normal rank