Definability in the Local Theory of the ω-Enumeration Degrees (Q3576056): 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.1007/978-3-642-03073-4_25
+Normal rank
@@ Property / OpenAlex ID @@
+W1530010332
@@ Property / OpenAlex ID: W1530010332 / rank @@
+Normal rank
@@ Property / cites work @@
+Exact Pair Theorem for the ω-Enumeration Degrees
@@ Property / cites work: Exact Pair Theorem for the ω-Enumeration Degrees / rank @@
+Normal rank
@@ Property / cites work @@
+DEFINABILITY OF THE JUMP OPERATOR IN THE ENUMERATION DEGREES
+Normal rank
@@ Property / cites work @@
+Jumps of quasi-minimal enumeration degrees
@@ Property / cites work: Jumps of quasi-minimal enumeration degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretability and Definability in the Recursively Enumerable Degrees
+Normal rank
@@ Property / cites work @@
+Cupping and noncupping in the enumeration degrees of \(\Sigma_ 2^ 0\) sets
+Normal rank
@@ Property / cites work @@
+The  -Enumeration Degrees
@@ Property / cites work: The -Enumeration Degrees / rank @@
+Normal rank
@@ Property / cites work @@
+The jump operator on the \(\omega \)-enumeration degrees
+Normal rank
@@ Property / cites work @@
+Uniform regular enumerations
@@ Property / cites work: Uniform regular enumerations / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3576056