The isomorphism problem for computable Abelian p-groups of bounded length (Q3370768): Difference between revisions

@@ Property / arXiv ID @@
+math/0406505
@@ Property / arXiv ID: math/0406505 / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+Normal rank
@@ Property / cites work @@
+A Borel reductibility theory for classes of countable structures
+Normal rank
@@ Property / cites work @@
+Countable algebra and set existence axioms
@@ Property / cites work: Countable algebra and set existence axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Back and forth relations for reduced abelian \(p\)-groups
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Labelling systems and r.e. structures
@@ Property / cites work: Labelling systems and r.e. structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+The constructive theory of countable abelian p-groups
+Normal rank
@@ Property / cites work @@
+Undecidable fragments of elementary theories
@@ Property / cites work: Undecidable fragments of elementary theories / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively presented Abelian groups: Effective <i>p</i>-Group theory. I
+Normal rank
@@ Property / cites work @@
+Q5589390
@@ Property / cites work: Q5589390 / rank @@
+Normal rank

The isomorphism problem for computable Abelian <sub><i>p</i></sub>-groups of bounded length (Q3370768): Difference between revisions