Article ID Journal Published Year Pages File Type
4661979 Annals of Pure and Applied Logic 2011 12 Pages PDF
Abstract

The terms of the upper and lower central series of a nilpotent computable group have computably enumerable Turing degree. We show that the Turing degrees of these terms are independent even when restricted to groups which admit computable orders.

Related Topics
Physical Sciences and Engineering Mathematics Logic