Differences between Resource Bounded Degree Structures
Michael E. Mytilinaios, Theodore A. Slaman · Notre Dame Journal of Formal Logic · 2003
We exhibit a structural difference between the truth-table degrees of the sets which are truth-table above 0′ and the PTIME-Turing degrees of all sets. Though the structures do not have the same isomorphism type, demonstrating this fact relies on developing their common theory.