On a question of Kalimullin (Q4563668): Difference between revisions

@@ Property / author @@
+Rodney G. Downey
@@ Property / author: Rodney G. Downey / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2791941292
@@ Property / OpenAlex ID: W2791941292 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
+Normal rank
@@ Property / cites work @@
+The complexity of computable categoricity
@@ Property / cites work: The complexity of computable categoricity / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively categorical abelian groups
@@ Property / cites work: Effectively categorical abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4956005
@@ Property / cites work: Q4956005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3961013
@@ Property / cites work: Q3961013 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3130249
@@ Property / cites work: Q3130249 / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra of intrinsically c.e. relations
@@ Property / cites work: Degree spectra of intrinsically c.e. relations / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated trees of strategies and priority arguments
+Normal rank
@@ Property / cites work @@
+CONSTRUCTIVE ALGEBRAS I
@@ Property / cites work: CONSTRUCTIVE ALGEBRAS I / rank @@
+Normal rank
@@ Property / cites work @@
+A computability theoretic equivalent to Vaught's conjecture
+Normal rank
@@ Property / cites work @@
+PRIORITY ARGUMENTS VIA TRUE STAGES
@@ Property / cites work: PRIORITY ARGUMENTS VIA TRUE STAGES / rank @@
+Normal rank
@@ Property / cites work @@
+ANALYTIC EQUIVALENCE RELATIONS SATISFYING HYPERARITHMETIC-IS-RECURSIVE
+Normal rank