Interpreting in the computably enumerable weak truth table degrees
Under an Elsevier user license
open archive
MSC
primary: 03D25
Keywords
Weak truth table degrees
True arithmetic
Uniform definability
Cited by (0)
- 1
Partially supported by NSF grant DMS-9803482.
Copyright © 2001 Elsevier Science B.V. All rights reserved.