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.
@article{1082637612,
author = {Mytilinaios, Michael\textasciitilde E. and Slaman, Theodore A.},
title = {Differences between Resource Bounded Degree Structures},
journal = {Notre Dame J. Formal Logic},
volume = {44},
number = {1},
year = {2003},
pages = { 1-12},
language = {en},
url = {http://dml.mathdoc.fr/item/1082637612}
}
Mytilinaios, Michael~E.; Slaman, Theodore A. Differences between Resource Bounded Degree Structures. Notre Dame J. Formal Logic, Tome 44 (2003) no. 1, pp. 1-12. http://gdmltest.u-ga.fr/item/1082637612/