On Constructive Nilpotent Groups

DOI10.1007/978-3-319-50062-1_21zbMath1485.03114OpenAlexW2330076897MaRDI QIDQ2970967

N. G. Khisamiev, I. V. Latkin

Publication date: 4 April 2017

Published in: Computability and Complexity (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-50062-1_21

Mathematics Subject Classification ID

Nilpotent groups (20F18) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Direct sums, direct products, etc. for abelian groups (20K25) Torsion-free groups, finite rank (20K15) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Cites Work

• Computable torsion-free nilpotent groups of finite dimension.
• Hierarchies of torsion-free Abelian groups
• The complexity of central series in nilpotent computable groups
• Constructivizations of direct products of algebraic systems
• The isomorphism problem for torsion-free abelian groups is analytic complete
• Decidability and computability of certain torsion-free abelian groups
• Nonconstructivizability of the reduced part of a strongly constructive torsion-free Abelian group
• Recursion theory and ordered groups
• Constructive periodic Abelian groups
• On the integral homology of finitely presented groups
• Handbook of recursive mathematics. Vol. 1: Recursive model theory
• Handbook of computability theory
• Computable structures and the hyperarithmetical hierarchy
• Degree spectra and computable dimensions in algebraic structures
• \(\Pi_{1}^{0}\) classes and orderable groups
• Effectively completely decomposable Abelian groups.
• The computable dimension of ordered abelian groups
• The tensor product and the 2nd nilpotent product of groups
• Effective procedures in field theory
• Theorie Der Numerierungen III
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• The isomorphism relation on countable torsion free abelian groups
• Varieties of groups
• Computable Algebra, General Theory and Theory of Computable Fields
• Constructive Matrix and Orderable Groups
• Constructible Matrix Groups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item