Forcing a set model of Z3 + Harrington's Principle (Q2947234): Difference between revisions

@@ Property / cites work @@
+HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC
+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 @@
+Adding a closed unbounded set
@@ Property / cites work: Adding a closed unbounded set / rank @@
+Normal rank
@@ Property / cites work @@
+Multiple Forcing
@@ Property / cites work: Multiple Forcing / 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 @@
+Set theory. Exploring independence and truth
@@ Property / cites work: Set theory. Exploring independence and truth / rank @@
+Normal rank