|
|||||
|
|
Degrees of unsolvability of first order decision problems for finitely presented groups |
|
| Authors: | Oleg V. Belegradek |
| Affiliation: | Kemerovo State University, Kemerovo 650043, Russia |
| Abstract: | We show that for any arithmetical  -degree  there is a first order decision problem  such that  has  -degree  for the free 2-step nilpotent group of rank 2. This implies a conjecture of Sacerdote. |
| Keywords: | First order decision problem $m$-degree |
| 点击此处可从《Proceedings of the American Mathematical Society》浏览原始摘要信息 | |
| 点击此处可从《Proceedings of the American Mathematical Society》下载全文 | |