We give a first-order coding without parameters of a copy of (N,+,×) in the computably enumerable weak truth table degrees. As a tool, we develop a theory of parameter definable subsets. © 2001 Elsevier Science B.V.
Mendeley saves you time finding and organizing research
Choose a citation style from the tabs below