THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY (Q5107234): Difference between revisions

@@ Property / arXiv ID @@
+.11949
@@ Property / arXiv ID: 1906.11949 / rank @@
+Normal rank
@@ Property / cites work @@
+Projective games on the reals
@@ Property / cites work: Projective games on the reals / rank @@
+Normal rank
@@ Property / cites work @@
+Long games and \(\sigma \)-projective sets
@@ Property / cites work: Long games and \(\sigma \)-projective sets / rank @@
+Normal rank
@@ Property / cites work @@
+Higher set theory and mathematical practice
@@ Property / cites work: Higher set theory and mathematical practice / rank @@
+Normal rank
@@ Property / cites work @@
+A criterion for coarse iterability
@@ Property / cites work: A criterion for coarse iterability / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic determinacy and 0<sup>#</sup>
@@ Property / cites work: Analytic determinacy and 0<sup>#</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+On the determinacy of games on ordinals
@@ Property / cites work: On the determinacy of games on ordinals / 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 @@
+Q3607619
@@ Property / cites work: Q3607619 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Relative Consistency Strength of Determinacy Hypothesis
+Normal rank
@@ Property / cites work @@
+Measurable cardinals and analytic games
@@ Property / cites work: Measurable cardinals and analytic games / rank @@
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel 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 @@
+Q3607624
@@ Property / cites work: Q3607624 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4291791
@@ Property / cites work: Q4291791 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322161
@@ Property / cites work: Q5322161 / rank @@
+Normal rank
@@ Property / cites work @@
+The axiom of determinacy implies dependent choice in mice
+Normal rank
@@ Property / cites work @@
+IN INNER MODELS WITH WOODIN CARDINALS
@@ Property / cites work: IN INNER MODELS WITH WOODIN CARDINALS / rank @@
+Normal rank
@@ Property / cites work @@
+Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
+Normal rank
@@ Property / cites work @@
+Optimal Proofs of Determinacy
@@ Property / cites work: Optimal Proofs of Determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+The determinacy of long games
@@ Property / cites work: The determinacy of long games / rank @@
+Normal rank
@@ Property / cites work @@
+Determinacy in L(ℝ)
@@ Property / cites work: Determinacy in L(ℝ) / rank @@
+Normal rank
@@ Property / cites work @@
+On the Prewellorderings Associated with the Directed Systems of Mice
+Normal rank
@@ Property / cites work @@
+THE MOUSE SET CONJECTURE FOR SETS OF REALS
@@ Property / cites work: THE MOUSE SET CONJECTURE FOR SETS OF REALS / rank @@
+Normal rank
@@ Property / cites work @@
+The self-iterability of <i>L</i>[<i>E</i>]
@@ Property / cites work: The self-iterability of <i>L</i>[<i>E</i>] / rank @@
+Normal rank
@@ Property / cites work @@
+Deconstructing inner model theory
@@ Property / cites work: Deconstructing inner model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Projectively well-ordered inner models
@@ Property / cites work: Projectively well-ordered inner models / 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 @@
+An Outline of Inner Model Theory
@@ Property / cites work: An Outline of Inner Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A theorem of Woodin on mouse sets
@@ Property / cites work: A theorem of Woodin on mouse sets / rank @@
+Normal rank
@@ Property / cites work @@
+<b>HOD</b>as a core model
@@ Property / cites work: <b>HOD</b>as a core model / rank @@
+Normal rank
@@ Property / cites work @@
+Determinacy in L(ℝ, μ)
@@ Property / cites work: Determinacy in L(ℝ, μ) / rank @@
+Normal rank
@@ Property / cites work @@
+STRUCTURE THEORY OF<i>L</i>(ℝ,<i>μ</i>) AND ITS APPLICATIONS
+Normal rank
@@ Property / cites work @@
+Q2970151
@@ Property / cites work: Q2970151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5748195
@@ Property / cites work: Q5748195 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q126783824
@@ Property / Wikidata QID: Q126783824 / rank @@
+Normal rank