Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse (Q499078): Difference between revisions

@@ 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.1016/j.apal.2015.05.002
+Normal rank
@@ Property / OpenAlex ID @@
+W1773684066
@@ Property / OpenAlex ID: W1773684066 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\lambda\)-structures and \(s\)-structures: translating the models
+Normal rank
@@ Property / cites work @@
+Large Cardinals from Determinacy
@@ Property / cites work: Large Cardinals from Determinacy / 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 @@
+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 @@
+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 @@
+Q3656432
@@ Property / cites work: Q3656432 / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of jump operators
@@ Property / cites work: A classification of jump operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q3597425
@@ Property / cites work: Q3597425 / 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 @@
+Inner models and large cardinals
@@ Property / cites work: Inner models and large cardinals / rank @@
+Normal rank