A local version of the Slaman-Wehner theorem and families closed under finite differences (Q6165007): Difference between revisions

@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Q4934289
@@ Property / cites work: Q4934289 / rank @@
+Normal rank
@@ Property / cites work @@
+Limitwise monotonic spectra and their generalizations
+Normal rank
@@ Property / cites work @@
+Limitwise monotonic sets of reals
@@ Property / cites work: Limitwise monotonic sets of reals / rank @@
+Normal rank
@@ Property / cites work @@
+RELATIVE TO ANY NON-HYPERARITHMETIC SET
@@ Property / cites work: RELATIVE TO ANY NON-HYPERARITHMETIC SET / rank @@
+Normal rank
@@ Property / cites work @@
+Computable single-valued numerations
@@ Property / cites work: Computable single-valued numerations / rank @@
+Normal rank
@@ Property / cites work @@
+Problem of the number of non-self-equivalent constructivizations
+Normal rank
@@ Property / cites work @@
+Enumerations in computable structure theory
@@ Property / cites work: Enumerations in computable structure theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2709299
@@ Property / cites work: Q2709299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835446
@@ Property / cites work: Q3835446 / rank @@
+Normal rank
@@ Property / cites work @@
+Relative to any nonrecursive set
@@ Property / cites work: Relative to any nonrecursive set / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerations, countable structures and Turing degrees
+Normal rank