Descriptive inner model theory (Q2837761): Difference between revisions

@@ Property / arXiv ID @@
+.2712
@@ Property / arXiv ID: 1206.2712 / rank @@
+Normal rank
@@ Property / cites work @@
+Martin's maximum, saturated ideals, and nonregular ultrafilters. I
+Normal rank
@@ Property / cites work @@
+Believing the axioms. II
@@ Property / cites work: Believing the axioms. II / rank @@
+Normal rank
@@ Property / cites work @@
+Believing the axioms. I
@@ Property / cites work: Believing the axioms. I / 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 @@
+Projectively well-ordered inner models
@@ Property / cites work: Projectively well-ordered inner models / rank @@
+Normal rank
@@ Property / cites work @@
+Stacking mice
@@ Property / cites work: Stacking mice / rank @@
+Normal rank
@@ Property / cites work @@
+Does Mathematics Need New Axioms?
@@ Property / cites work: Does Mathematics Need New Axioms? / rank @@
+Normal rank
@@ Property / cites work @@
+THE ABC'S of Mice
@@ Property / cites work: THE ABC'S of Mice / rank @@
+Normal rank
@@ Property / cites work @@
+Strong ultrapowers and long core models
@@ Property / cites work: Strong ultrapowers and long core models / rank @@
+Normal rank
@@ Property / cites work @@
+Coding with ladders a well ordering of the reals
@@ Property / cites work: Coding with ladders a well ordering of the reals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+The largest countable inductive set is a mouse set
+Normal rank
@@ Property / cites work @@
+The determinacy of long games
@@ Property / cites work: The determinacy of long games / rank @@
+Normal rank
@@ Property / cites work @@
+Inner models in the region of a Woodin limit of Woodin cardinals
+Normal rank
@@ Property / cites work @@
+Descriptive set theory
@@ Property / cites work: Descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4291791
@@ Property / cites work: Q4291791 / rank @@
+Normal rank
@@ Property / cites work @@
+The axiom of determinacy, forcing axioms, and the nonstationary ideal
+Normal rank
@@ Property / cites work @@
+Sets constructed from sequences of measures: Revisited
+Normal rank
@@ Property / cites work @@
+On the consistency strength of the proper forcing axiom
+Normal rank
@@ Property / cites work @@
+Sets constructible from sequences of ultrafilters
@@ Property / cites work: Sets constructible from sequences of ultrafilters / rank @@
+Normal rank