Computable isomorphisms for certain classes of infinite graphs (Q4579860): Difference between revisions

@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Effective categoricity of equivalence structures
@@ Property / cites work: Effective categoricity of equivalence structures / rank @@
+Normal rank
@@ Property / cites work @@
+Computability-theoretic properties of injection structures
+Normal rank
@@ Property / cites work @@
+Two-to-one structures
@@ Property / cites work: Two-to-one structures / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Categoricity of Graphs with Finite Components
+Normal rank
@@ Property / cites work @@
+Autostability of models
@@ Property / cites work: Autostability of models / rank @@
+Normal rank
@@ Property / cites work @@
+The computable dimension of ordered abelian groups
+Normal rank
@@ Property / cites work @@
+Computable categoricity of trees of finite height
@@ Property / cites work: Computable categoricity of trees of finite height / rank @@
+Normal rank
@@ Property / cites work @@
+The computable dimension of trees of infinite height
+Normal rank
@@ Property / cites work @@
+Recursive isomorphism types of recursive Boolean algebras
+Normal rank
@@ Property / cites work @@
+Recursively Categorical Linear Orderings
@@ Property / cites work: Recursively Categorical Linear Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129840774
@@ Property / Wikidata QID: Q129840774 / rank @@
+Normal rank