Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey (Q2970964): Difference between revisions

@@ Property / cites work @@
+Generic copies of countable structures
@@ Property / cites work: Generic copies of countable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of categoricity and the hyperarithmetic hierarchy
+Normal rank
@@ Property / cites work @@
+DEGREES OF CATEGORICITY ON A CONE VIA<i>η</i>-SYSTEMS
+Normal rank
@@ Property / cites work @@
+Q4677706
@@ Property / cites work: Q4677706 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorie Der Numerierungen III
@@ Property / cites work: Theorie Der Numerierungen III / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of categoricity of computable structures
@@ Property / cites work: Degrees of categoricity of computable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees coded in jumps of orderings
@@ Property / cites work: Degrees coded in jumps of orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q2709313
@@ Property / cites work: Q2709313 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2709295
@@ Property / cites work: Q2709295 / rank @@
+Normal rank
@@ Property / cites work @@
+<i>d</i>-computable categoricity for algebraic fields
+Normal rank
@@ Property / cites work @@
+Notes on the Jump of a Structure
@@ Property / cites work: Notes on the Jump of a Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Rice sequences of relations
@@ Property / cites work: Rice sequences of relations / rank @@
+Normal rank
@@ Property / cites work @@
+A robuster Scott rank
@@ Property / cites work: A robuster Scott rank / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Structures
@@ Property / cites work: Degrees of Structures / rank @@
+Normal rank
@@ Property / cites work @@
+A Jump Inversion Theorem for the Degree Spectra
@@ Property / cites work: A Jump Inversion Theorem for the Degree Spectra / rank @@
+Normal rank
@@ Property / cites work @@
+Effective choice for relations and reducibilities in classes of constructive and positive models
+Normal rank