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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0168-0072(95)00052-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2080597147
@@ Property / OpenAlex ID: W2080597147 / rank @@
+Normal rank
@@ 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