The partial orderings of the computably enumerable ibT-degrees and cl-degrees are not elementarily equivalent

Klaus Ambos-Spies, Philipp Bodewig, Yun Fan, Thorsten Kräling. The partial orderings of the computably enumerable ibT-degrees and cl-degrees are not elementarily equivalent. Annals of Pure and Applied Logic, 164(5):577-588, 2013. [doi]

@article{Ambos-SpiesBFK13,
  title = {The partial orderings of the computably enumerable ibT-degrees and cl-degrees are not elementarily equivalent},
  author = {Klaus Ambos-Spies and Philipp Bodewig and Yun Fan and Thorsten Kräling},
  year = {2013},
  doi = {10.1016/j.apal.2012.11.002},
  url = {http://dx.doi.org/10.1016/j.apal.2012.11.002},
  researchr = {https://researchr.org/publication/Ambos-SpiesBFK13},
  cites = {0},
  citedby = {0},
  journal = {Annals of Pure and Applied Logic},
  volume = {164},
  number = {5},
  pages = {577-588},
}