The consistency strength of projective absoluteness (Q1896614): Difference between revisions

@@ Property / cites work @@
+Between strong and superstrong
@@ Property / cites work: Between strong and superstrong / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573370
@@ Property / cites work: Q5573370 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329455
@@ Property / cites work: Q3329455 / rank @@
+Normal rank
@@ Property / cites work @@
+Core models
@@ Property / cites work: Core models / rank @@
+Normal rank
@@ Property / cites work @@
+The core model
@@ Property / cites work: The core model / rank @@
+Normal rank
@@ Property / cites work @@
+The covering lemma for K
@@ Property / cites work: The covering lemma for K / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694294
@@ Property / cites work: Q4694294 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5817866
@@ Property / cites work: Q5817866 / 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 @@
+Q3852172
@@ Property / cites work: Q3852172 / rank @@
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q3535899
@@ Property / cites work: Q3535899 / rank @@
+Normal rank
@@ Property / cites work @@
+The axiom of determinacy implies dependent choices in <i>L</i>(R)
+Normal rank
@@ Property / cites work @@
+Q3798652
@@ Property / cites work: Q3798652 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3792679
@@ Property / cites work: Q3792679 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Relative Consistency Strength of Determinacy Hypothesis
+Normal rank
@@ Property / cites work @@
+Equivalence of partition properties and determinacy
+Normal rank
@@ Property / cites work @@
+Q4732464
@@ Property / cites work: Q4732464 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995709
@@ Property / cites work: Q3995709 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559231
@@ Property / cites work: Q5559231 / rank @@
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+A basis theorem for \(\sum^ 1_ 3\) sets of reals
@@ Property / cites work: A basis theorem for \(\sum^ 1_ 3\) sets of reals / rank @@
+Normal rank
@@ Property / cites work @@
+Q3310607
@@ Property / cites work: Q3310607 / rank @@
+Normal rank
@@ Property / cites work @@
+Projective determinacy
@@ Property / cites work: Projective determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof of Projective Determinacy
@@ Property / cites work: A Proof of Projective Determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Iteration Trees
@@ Property / cites work: Iteration Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3944558
@@ Property / cites work: Q3944558 / rank @@
+Normal rank
@@ Property / cites work @@
+Sets constructible from sequences of ultrafilters
@@ Property / cites work: Sets constructible from sequences of ultrafilters / rank @@
+Normal rank
@@ Property / cites work @@
+The core model for sequences of measures. I
@@ Property / cites work: The core model for sequences of measures. I / rank @@
+Normal rank
@@ Property / cites work @@
+The covering lemma up to a Woodin cardinal
@@ Property / cites work: The covering lemma up to a Woodin cardinal / rank @@
+Normal rank
@@ Property / cites work @@
+Q4291791
@@ Property / cites work: Q4291791 / rank @@
+Normal rank
@@ Property / cites work @@
+Descriptive set theory
@@ Property / cites work: Descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the axiom of determinateness (II)
@@ Property / cites work: On the axiom of determinateness (II) / rank @@
+Normal rank
@@ Property / cites work @@
+Q3291531
@@ Property / cites work: Q3291531 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Lebesgue measurability and the axiom of determinateness
+Normal rank
@@ Property / cites work @@
+Q5690487
@@ Property / cites work: Q5690487 / rank @@
+Normal rank
@@ Property / cites work @@
+Inner models with many Woodin cardinals
@@ Property / cites work: Inner models with many Woodin cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Core models with more Woodin cardinals
@@ Property / cites work: Core models with more Woodin cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q3333028
@@ Property / cites work: Q3333028 / rank @@
+Normal rank
@@ Property / cites work @@
+Large Cardinals from Determinacy
@@ Property / cites work: Large Cardinals from Determinacy / rank @@
+Normal rank