Unitriangular groups and undecidability

zbMath0831.03019MaRDI QIDQ1901892

Oleg V. Belegradek

Publication date: 3 January 1996

Published in: Russian Mathematics (Search for Journal in Brave)

zbMATH Keywords

Turing degreesrecursive equivalence of theories

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Undecidability and degrees of sets of sentences (03D35) Other degrees and reducibilities in computability and recursion theory (03D30) Computable structure theory, computable model theory (03C57) Applications of logic in associative algebras (16B70)

This page was built for publication: Unitriangular groups and undecidability