|
|||||
|
|
The partial orderings of the computably enumerable ibT-degrees and cl-degrees are not elementarily equivalent |
|
| Authors: | Klaus Ambos-Spies Philipp Bodewig Yun Fan Thorsten Kräling |
| Institution: | 1. Department of Mathematics and Computer Science, Ruprecht-Karls-Universität Heidelberg, Im Neuenheimer Feld 294, 69121 Heidelberg, Germany;2. Department of Mathematics, Southeast University, Nanjing, China |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |