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]
Abstract is missing.