Relativizing computable categoricity (Q5002563): Difference between revisions

@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Generic copies of countable structures
@@ Property / cites work: Generic copies of countable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Effective model theory vs. recursive model theory
@@ Property / cites work: Effective model theory vs. recursive model theory / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of computable categoricity
@@ Property / cites work: The complexity of computable categoricity / rank @@
+Normal rank
@@ Property / cites work @@
+Computable categoricity versus relative computable categoricity
+Normal rank
@@ Property / cites work @@
+Q4956005
@@ Property / cites work: Q4956005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190617
@@ Property / cites work: Q4190617 / rank @@
+Normal rank
@@ Property / cites work @@
+Autostability of models and Abelian groups
@@ Property / cites work: Autostability of models and Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q3931264
@@ Property / cites work: Q3931264 / rank @@
+Normal rank
@@ Property / cites work @@
+Degree Spectra of Relations on Computable Structures
+Normal rank
@@ Property / cites work @@
+Independence in computable algebra
@@ Property / cites work: Independence in computable algebra / rank @@
+Normal rank
@@ Property / cites work @@
+CONSTRUCTIVE ALGEBRAS I
@@ Property / cites work: CONSTRUCTIVE ALGEBRAS I / rank @@
+Normal rank
@@ Property / cites work @@
+Finite computable dimension does not relativize
@@ Property / cites work: Finite computable dimension does not relativize / rank @@
+Normal rank
@@ Property / cites work @@
+Computable torsion abelian groups
@@ Property / cites work: Computable torsion abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively Categorical Linear Orderings
@@ Property / cites work: Recursively Categorical Linear Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551146
@@ Property / cites work: Q5551146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3949039
@@ Property / cites work: Q3949039 / rank @@
+Normal rank
@@ Property / cites work @@
+Coding in the automorphism group of a computably categorical structure
+Normal rank
@@ Property / cites work @@
+Effective choice for relations and reducibilities in classes of constructive and positive models
+Normal rank