Open Access
2003 Differences between Resource Bounded Degree Structures
Michael~E. Mytilinaios, Theodore A. Slaman
Notre Dame J. Formal Logic 44(1): 1-12 (2003). DOI: 10.1305/ndjfl/1082637612

Abstract

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.

Citation

Download Citation

Michael~E. Mytilinaios. Theodore A. Slaman. "Differences between Resource Bounded Degree Structures." Notre Dame J. Formal Logic 44 (1) 1 - 12, 2003. https://doi.org/10.1305/ndjfl/1082637612

Information

Published: 2003
First available in Project Euclid: 21 April 2004

zbMATH: 1068.03034
MathSciNet: MR2060053
Digital Object Identifier: 10.1305/ndjfl/1082637612

Subjects:
Primary: 03D28
Secondary: 68Q15

Keywords: polynomial-time degree , truth-table degree , Turing degree

Rights: Copyright © 2003 University of Notre Dame

Vol.44 • No. 1 • 2003
Back to Top