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 (Ann. Pure Appl. Log., 2013)