Iteration Trees (Q4276535): Difference between revisions

@@ Property / cites work @@
+Generalizing the Mahlo hierarchy, with applications to the Mitchell models
+Normal rank
@@ Property / cites work @@
+Between strong and superstrong
@@ Property / cites work: Between strong and superstrong / 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 L[U]
@@ Property / cites work: The covering lemma for L[U] / rank @@
+Normal rank
@@ Property / cites work @@
+Martin's maximum, saturated ideals, and nonregular ultrafilters. I
+Normal rank
@@ Property / cites work @@
+Q4109673
@@ Property / cites work: Q4109673 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency-Proof for the Generalized Continuum-Hypothesis
+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 @@
+Q3705445
@@ Property / cites work: Q3705445 / rank @@
+Normal rank
@@ Property / cites work @@
+Some applications of iterated ultrapowers in set theory
+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 @@
+A Proof of Projective Determinacy
@@ Property / cites work: A Proof of Projective Determinacy / 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 @@
+Logic colloquium '78. Proceedings of the colloquium held in Mons, August 1978.
+Normal rank
@@ Property / cites work @@
+Sets constructed from sequences of measures: Revisited
+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 @@
+Q4291791
@@ Property / cites work: Q4291791 / rank @@
+Normal rank
@@ Property / cites work @@
+Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
+Normal rank
@@ Property / cites work @@
+Measurable cardinals and \(\Delta^1_3\) well-orderings
+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 @@
+Supercompact cardinals, sets of reals, and weakly homogeneous trees
+Normal rank