Determinacy axioms and large cardinals (Q6132567): Difference between revisions

@@ Property / cites work @@
+Projective games on the reals
@@ Property / cites work: Projective games on the reals / rank @@
+Normal rank
@@ Property / cites work @@
+THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY
+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 @@
+The domestic levels of \(K^c\) are iterable
@@ Property / cites work: The domestic levels of \(K^c\) are iterable / rank @@
+Normal rank
@@ Property / cites work @@
+Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable
+Normal rank
@@ Property / cites work @@
+Every zero-dimensional homogeneous space is strongly homogeneous under determinacy
+Normal rank
@@ Property / cites work @@
+Implications of large-cardinal principles in homotopical localization
+Normal rank
@@ Property / cites work @@
+Q3765764
@@ Property / cites work: Q3765764 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5342877
@@ Property / cites work: Q5342877 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4538741
@@ Property / cites work: Q4538741 / rank @@
+Normal rank
@@ Property / cites work @@
+All automorphisms of the Calkin algebra are inner
@@ Property / cites work: All automorphisms of the Calkin algebra are inner / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694294
@@ Property / cites work: Q4694294 / rank @@
+Normal rank
@@ Property / cites work @@
+If all Normal Moore Spaces are Metrizable, then there is an Inner Model with a Measurable Cardinal
+Normal rank
@@ Property / cites work @@
+Q5817866
@@ Property / cites work: Q5817866 / 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 @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Stacking mice
@@ Property / cites work: Stacking mice / rank @@
+Normal rank
@@ Property / cites work @@
+On the Relative Consistency Strength of Determinacy Hypothesis
+Normal rank
@@ Property / cites work @@
+A brief history of determinacy
@@ Property / cites work: A brief history of determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of Borel's conjecture
@@ Property / cites work: On the consistency of Borel's conjecture / rank @@
+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 @@
+Q4291791
@@ Property / cites work: Q4291791 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2970151
@@ Property / cites work: Q2970151 / 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 @@
+Q4934562
@@ Property / cites work: Q4934562 / rank @@
+Normal rank
@@ Property / cites work @@
+Inner models in the region of a Woodin limit of Woodin cardinals
+Normal rank
@@ Property / cites work @@
+OPTIMAL PROOFS OF DETERMINACY II
@@ Property / cites work: OPTIMAL PROOFS OF DETERMINACY II / 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 @@
+A Provisional Solution to the Normal Moore Space Problem
+Normal rank
@@ Property / cites work @@
+Descriptive inner model theory
@@ Property / cites work: Descriptive inner model theory / rank @@
+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 @@
+Translation procedures in descriptive inner                     model theory
+Normal rank
@@ Property / cites work @@
+Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular
+Normal rank
@@ Property / cites work @@
+𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability
@@ Property / cites work: 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability / rank @@
+Normal rank
@@ Property / cites work @@
+SEALING OF THE UNIVERSALLY BAIRE SETS
@@ Property / cites work: SEALING OF THE UNIVERSALLY BAIRE SETS / rank @@
+Normal rank
@@ Property / cites work @@
+Borel Games and the Baire Property
@@ Property / cites work: Borel Games and the Baire Property / rank @@
+Normal rank
@@ Property / cites work @@
+Deconstructing inner model theory
@@ Property / cites work: Deconstructing inner model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite Abelian groups, Whitehead problem and some constructions
+Normal rank
@@ Property / cites work @@
+Q3804698
@@ Property / cites work: Q3804698 / rank @@
+Normal rank
@@ Property / cites work @@
+HOD<sup><i>L</i>(ℝ)</sup> is a Core Model Below Θ
+Normal rank
@@ Property / cites work @@
+Q3597425
@@ Property / cites work: Q3597425 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3656432
@@ Property / cites work: Q3656432 / 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 @@
+<b>HOD</b>as a core model
@@ Property / cites work: <b>HOD</b>as a core model / rank @@
+Normal rank
@@ Property / cites work @@
+HOD in natural models of \(\mathsf{AD}^+\)
@@ Property / cites work: HOD in natural models of \(\mathsf{AD}^+\) / rank @@
+Normal rank
@@ Property / cites work @@
+The strict determinateness of certain infinite games
+Normal rank
@@ Property / cites work @@
+Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse
+Normal rank