Omitting types: application to recursion theory (Q5655353): 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.2307/2272549
@@ Property / full work available at URL: https://doi.org/10.2307/2272549 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1987686945
@@ Property / OpenAlex ID: W1987686945 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive transfinite number classes
@@ Property / cites work: Constructive transfinite number classes / rank @@
+Normal rank
@@ Property / cites work @@
+On a problem of Kleene’s
@@ Property / cites work: On a problem of Kleene’s / rank @@
+Normal rank
@@ Property / cites work @@
+Completing theories by forcing
@@ Property / cites work: Completing theories by forcing / rank @@
+Normal rank
@@ Property / cites work @@
+The Suslin-Kleene theorem for countable structures
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5655353