On Constructive Nilpotent Groups (Q2970967): Difference between revisions

@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+On the integral homology of finitely presented groups
+Normal rank
@@ Property / cites work @@
+Q3963208
@@ Property / cites work: Q3963208 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of central series in nilpotent computable groups
+Normal rank
@@ Property / cites work @@
+Q3927228
@@ Property / cites work: Q3927228 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249359
@@ Property / cites work: Q4249359 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive periodic Abelian groups
@@ Property / cites work: Constructive periodic Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and computability of certain torsion-free abelian groups
+Normal rank
@@ Property / cites work @@
+Recursion theory and ordered groups
@@ Property / cites work: Recursion theory and ordered groups / rank @@
+Normal rank
@@ Property / cites work @@
+The isomorphism problem for torsion-free abelian groups is analytic complete
+Normal rank
@@ Property / cites work @@
+Constructivizations of direct products of algebraic systems
+Normal rank
@@ Property / cites work @@
+Theorie Der Numerierungen III
@@ Property / cites work: Theorie Der Numerierungen III / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of recursive mathematics. Vol. 1: Recursive model theory
+Normal rank
@@ Property / cites work @@
+Q5537377
@@ Property / cites work: Q5537377 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective procedures in field theory
@@ Property / cites work: Effective procedures in field theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4731365
@@ Property / cites work: Q4731365 / rank @@
+Normal rank
@@ Property / cites work @@
+The computable dimension of ordered abelian groups
+Normal rank
@@ Property / cites work @@
+Q3832760
@@ Property / cites work: Q3832760 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of computability theory
@@ Property / cites work: Handbook of computability theory / rank @@
+Normal rank
@@ Property / cites work @@
+Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
+Normal rank
@@ Property / cites work @@
+Q3253828
@@ Property / cites work: Q3253828 / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+Normal rank
@@ Property / cites work @@
+The isomorphism relation on countable torsion free abelian groups
+Normal rank
@@ Property / cites work @@
+Q4012135
@@ Property / cites work: Q4012135 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3905446
@@ Property / cites work: Q3905446 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonconstructivizability of the reduced part of a strongly constructive torsion-free Abelian group
+Normal rank
@@ Property / cites work @@
+Hierarchies of torsion-free Abelian groups
@@ Property / cites work: Hierarchies of torsion-free Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q3829731
@@ Property / cites work: Q3829731 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4951230
@@ Property / cites work: Q4951230 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406587
@@ Property / cites work: Q4406587 / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively completely decomposable Abelian groups.
+Normal rank
@@ Property / cites work @@
+Computable torsion-free nilpotent groups of finite dimension.
+Normal rank
@@ Property / cites work @@
+Q3778735
@@ Property / cites work: Q3778735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4795511
@@ Property / cites work: Q4795511 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145882
@@ Property / cites work: Q4145882 / rank @@
+Normal rank
@@ Property / cites work @@
+The tensor product and the 2nd nilpotent product of groups
+Normal rank
@@ Property / cites work @@
+Q5513066
@@ Property / cites work: Q5513066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012134
@@ Property / cites work: Q4012134 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of groups
@@ Property / cites work: Varieties of groups / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Algebra, General Theory and Theory of Computable Fields
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Matrix and Orderable Groups
@@ Property / cites work: Constructive Matrix and Orderable Groups / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible Matrix Groups
@@ Property / cites work: Constructible Matrix Groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Pi_{1}^{0}\) classes and orderable groups
@@ Property / cites work: \(\Pi_{1}^{0}\) classes and orderable groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q5597484
@@ Property / cites work: Q5597484 / rank @@
+Normal rank