Iteration Trees (Q4276535): Difference between revisions

@@ label / en / label / en @@
+Iteration Trees
@@ Property / author @@
-J. R. Steel
@@ Property / author: J. R. Steel / rank @@
-Normal rank
@@ Property / author @@
+J. R. Steel
@@ Property / author: J. R. Steel / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2152720
@@ Property / full work available at URL: https://doi.org/10.2307/2152720 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4250103425
@@ Property / OpenAlex ID: W4250103425 / rank @@
+Normal rank
@@ Property / title @@
+Iteration Trees (English)
@@ Property / title: Iteration Trees (English) / rank @@
+Normal rank
@@ 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