A diamond-plus principle consistent with AD (Q781519): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-020-00715-w
+Normal rank
@@ Property / OpenAlex ID @@
+W3004858480
@@ Property / OpenAlex ID: W3004858480 / rank @@
+Normal rank
@@ Property / cites work @@
+A diamond principle consistent with AD
@@ Property / cites work: A diamond principle consistent with AD / rank @@
+Normal rank
@@ Property / cites work @@
+A covering lemma for \(K(\mathbb{R})\)
@@ Property / cites work: A covering lemma for \(K(\mathbb{R})\) / rank @@
+Normal rank
@@ Property / cites work @@
+Generic relativizations of fine structure
@@ Property / cites work: Generic relativizations of fine structure / rank @@
+Normal rank
@@ Property / cites work @@
+<i>K</i>Without the Measurable
@@ Property / cites work: <i>K</i>Without the Measurable / 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 @@
+Q4315890
@@ Property / cites work: Q4315890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2904376
@@ Property / cites work: Q2904376 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322161
@@ Property / cites work: Q5322161 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial principles in the core model for one Woodin cardinal
+Normal rank
@@ Property / cites work @@
+A Core Model Toolbox and Guide
@@ Property / cites work: A Core Model Toolbox and Guide / rank @@
+Normal rank
@@ Property / cites work @@
+Q5690487
@@ Property / cites work: Q5690487 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3607627
@@ Property / cites work: Q3607627 / rank @@
+Normal rank
@@ Property / cites work @@
+An Outline of Inner Model Theory
@@ Property / cites work: An Outline of Inner Model Theory / rank @@
+Normal rank