Effective forcing versus proper forcing (Q1923578): Difference between revisions

@@ Property / cites work @@
+Q3329455
@@ Property / cites work: Q3329455 / rank @@
+Normal rank
@@ Property / cites work @@
+The K-Section of a Type n Object
@@ Property / cites work: The K-Section of a Type n Object / rank @@
+Normal rank
@@ Property / cites work @@
+Q3926564
@@ Property / cites work: Q3926564 / rank @@
+Normal rank
@@ Property / cites work @@
+The limits of E-recursive enumerability
@@ Property / cites work: The limits of E-recursive enumerability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4398473
@@ Property / cites work: Q4398473 / rank @@
+Normal rank