The arithmetic and turing degrees are not elementary equivalent. Richard A. Shore (1984) Archiv für mathematische Logik und Grundlagenforschung
The difference and truth-table hierarchies for NP Johannes Köbler, Uwe Schöning, Klaus W. Wagner (1987) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications