Decompositions of decidable abelian groups (Q5216188): Difference between revisions

@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Abelian groups without elements of finite order
@@ Property / cites work: Abelian groups without elements of finite order / rank @@
+Normal rank
@@ Property / cites work @@
+Back and forth relations for reduced abelian \(p\)-groups
+Normal rank
@@ Property / cites work @@
+Degrees of autostability for linear orders and linearly ordered abelian groups
+Normal rank
@@ Property / cites work @@
+Effective categoricity of abelian \(p\)-groups
@@ Property / cites work: Effective categoricity of abelian \(p\)-groups / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of categoricity and the hyperarithmetic hierarchy
+Normal rank
@@ Property / cites work @@
+Some constructivizations of Abelian groups
@@ Property / cites work: Some constructivizations of Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively categorical abelian groups
@@ Property / cites work: Effectively categorical abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated effective embeddings of abelian p-groups
@@ Property / cites work: Iterated effective embeddings of abelian p-groups / rank @@
+Normal rank
@@ Property / cites work @@
+Abelian \(p\)-groups and the halting problem
@@ Property / cites work: Abelian \(p\)-groups and the halting problem / rank @@
+Normal rank
@@ Property / cites work @@
+The isomorphism problem for torsion-free abelian groups is analytic complete
+Normal rank
@@ Property / cites work @@
+Computable completely decomposable groups
@@ Property / cites work: Computable completely decomposable groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4956005
@@ Property / cites work: Q4956005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3958432
@@ Property / cites work: Q3958432 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4882531
@@ Property / cites work: Q4882531 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing's Legacy
@@ Property / cites work: Turing's Legacy / 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 @@
+Q5673086
@@ Property / cites work: Q5673086 / 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 @@
+Q4451633
@@ Property / cites work: Q4451633 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of autostability relative to strong constructivizations
+Normal rank
@@ Property / cites work @@
+Independence in computable algebra
@@ Property / cites work: Independence in computable algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249727
@@ Property / cites work: Q4249727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3270631
@@ Property / cites work: Q3270631 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial group theory.
@@ Property / cites work: Combinatorial group theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537372
@@ Property / cites work: Q5537372 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5341751
@@ Property / cites work: Q5341751 / rank @@
+Normal rank
@@ Property / cites work @@
+COMPUTABLE ABELIAN GROUPS
@@ Property / cites work: COMPUTABLE ABELIAN GROUPS / rank @@
+Normal rank
@@ Property / cites work @@
+Computable torsion abelian groups
@@ Property / cites work: Computable torsion abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+A computability theoretic equivalent to Vaught's conjecture
+Normal rank
@@ Property / cites work @@
+Strong and weak constructivization and computable families
+Normal rank
@@ Property / cites work @@
+Computable Algebra, General Theory and Theory of Computable Fields
+Normal rank
@@ Property / cites work @@
+The decomposability problem for torsion-free abelian groups is analytic-complete
+Normal rank
@@ Property / cites work @@
+Ulm's Theorem for Partially Ordered Structures Related to Simply Presented Abelian p-Groups
+Normal rank
@@ Property / cites work @@
+Q3949039
@@ Property / cites work: Q3949039 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary properties of Abelian groups
@@ Property / cites work: Elementary properties of Abelian groups / rank @@
+Normal rank