The branching theorem and computable categoricity in the Ershov hierarchy (Q887636): Difference between revisions

@@ Property / cites work @@
+Q5619076
@@ Property / cites work: Q5619076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619077
@@ Property / cites work: Q5619077 / rank @@
+Normal rank
@@ Property / cites work @@
+On a hierarchy of sets. III
@@ Property / cites work: On a hierarchy of sets. III / rank @@
+Normal rank
@@ Property / cites work @@
+Q4677692
@@ Property / cites work: Q4677692 / rank @@
+Normal rank
@@ Property / cites work @@
+A decomposition of the Rogers semilattice of a family of d.c.e. sets
+Normal rank
@@ Property / cites work @@
+Q2898987
@@ Property / cites work: Q2898987 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2899010
@@ Property / cites work: Q2899010 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive undecidable numberings in the Ershov hierarchy
+Normal rank
@@ Property / cites work @@
+Rogers semilattices of families of two embedded sets in the Ershov hierarchy
+Normal rank
@@ Property / cites work @@
+Computable categoricity and the Ershov hierarchy
@@ Property / cites work: Computable categoricity and the Ershov hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence structures and isomorphisms in the difference hierarchy
+Normal rank
@@ Property / cites work @@
+Autostability of models
@@ Property / cites work: Autostability of models / 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 @@
+Autostable I-Algebras
@@ Property / cites work: Autostable I-Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Relative autostability of direct sums of Abelian p-groups
+Normal rank
@@ Property / cites work @@
+Autostability of Boolean algebras with distinguished ideal
+Normal rank
@@ Property / cites work @@
+Computably categorical Boolean algebras enriched by ideals and atoms
+Normal rank
@@ Property / cites work @@
+The class of projective planes is noncomputable
@@ Property / cites work: The class of projective planes is noncomputable / rank @@
+Normal rank
@@ Property / cites work @@
+Noncomputability of classes of Pappian and Desarguesian projective planes
+Normal rank
@@ Property / cites work @@
+Q2898974
@@ Property / cites work: Q2898974 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4935938
@@ Property / cites work: Q4935938 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively Categorical Linear Orderings
@@ Property / cites work: Recursively Categorical Linear Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive isomorphism types of recursive Boolean algebras
+Normal rank
@@ Property / cites work @@
+Q5609457
@@ Property / cites work: Q5609457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3949039
@@ Property / cites work: Q3949039 / rank @@
+Normal rank