The strong reflecting property and Harrington's Principle (Q2947238): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2107380911
@@ Property / OpenAlex ID: W2107380911 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04015
@@ Property / arXiv ID: 1503.04015 / rank @@
+Normal rank
@@ Property / cites work @@
+Forcing a set model of Z3 + Harrington's Principle
+Normal rank
@@ Property / cites work @@
+HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC
+Normal rank
@@ Property / cites work @@
+Iterated Forcing and Elementary Embeddings
@@ Property / cites work: Iterated Forcing and Elementary Embeddings / rank @@
+Normal rank
@@ Property / cites work @@
+Constructibility and Class Forcing
@@ Property / cites work: Constructibility and Class Forcing / rank @@
+Normal rank
@@ Property / cites work @@
+What is the theory  without power set?
@@ Property / cites work: What is the theory without power set? / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic determinacy and 0<sup>#</sup>
@@ Property / cites work: Analytic determinacy and 0<sup>#</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizations of the Kunen inconsistency
@@ Property / cites work: Generalizations of the Kunen inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+Beginning Inner Model Theory
@@ Property / cites work: Beginning Inner Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Covering Lemma
@@ Property / cites work: The Covering Lemma / rank @@
+Normal rank
@@ Property / cites work @@
+A new condensation principle
@@ Property / cites work: A new condensation principle / rank @@
+Normal rank
@@ Property / cites work @@
+Proper forcing and remarkable cardinals II
@@ Property / cites work: Proper forcing and remarkable cardinals II / rank @@
+Normal rank
@@ Property / cites work @@
+An Outline of Inner Model Theory
@@ Property / cites work: An Outline of Inner Model Theory / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2947238