This is a preview. Log in through your library . Abstract Let 〈Wn : n ∈ ω〉 be a canonical enumeration of recursively enumerable sets, and suppose T is a recursively enumerable extension of PA (Peano ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback