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]

Authors

Klaus Ambos-Spies

This author has not been identified. Look up 'Klaus Ambos-Spies' in Google

Philipp Bodewig

This author has not been identified. Look up 'Philipp Bodewig' in Google

Yun Fan

This author has not been identified. Look up 'Yun Fan' in Google

Thorsten Kräling

This author has not been identified. Look up 'Thorsten Kräling' in Google