A combinatorial forcing for coding the universe by a real when there are no sharps (Q4836041): Difference between revisions

@@ Property / cites work @@
+A guide to ``Strong coding''
@@ Property / cites work: A guide to ``Strong coding'' / rank @@
+Normal rank
@@ Property / cites work @@
+A guide to “Coding the universe” by Beller, Jensen, Welch
+Normal rank
@@ Property / cites work @@
+A functorial \(\pi ^ 1_ 2\) singleton
@@ Property / cites work: A functorial \(\pi ^ 1_ 2\) singleton / rank @@
+Normal rank
@@ Property / cites work @@
+Some applications of Jensen's coding theorem
@@ Property / cites work: Some applications of Jensen's coding theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3921212
@@ Property / cites work: Q3921212 / rank @@
+Normal rank
@@ Property / cites work @@
+Corrigendum to ``Generalized Martin's axiom and Souslin's hypothesis for higher cardinals''
+Normal rank
@@ Property / cites work @@
+Q4326402
@@ Property / cites work: Q4326402 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal coding
@@ Property / cites work: Minimal coding / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion theory week. Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
+Normal rank