Omitting types: application to recursion theory (Q5655353): Difference between revisions

@@ 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