COMPARING INCOMPARABLE KLEENE DEGREES'. PHILIP WELCH. In the December 1982 issue of this JOURNAL Weitkamp [W] posed some questions concerning the ...
In the December 1982 issue of this Journal Weitkamp [W] posed some questions concerning the incomparability of certain “r.e.” sets for the notion of Kleene ...
Kleene S. C. and Post Emil L.. The upper semi-lattice of degrees of recursive unsolvability. Annals of mathematics, ser. 2 vol. 59 , pp. 379–407.
The primary concern of this paper is to calculate the relative complexity of several notable coanalytic sets of reals and display (under suitable set theoretic ...
Missing: Comparing | Show results with:Comparing
Comparing incomparable kleene degrees · P. Welch · Journal of Symbolic Logic ; On the Existence and Recursion Theoretic Properties of ∑ · Galen Weitkamp · Math.
Comparing incomparable Kleene degrees.Philip Welch - 1985 - Journal of Symbolic Logic 50 (1):55-58. High and low Kleene degrees of coanalytic sets.Stephen G ...
Comparing incomparable kleene degrees · P. Welch. Mathematics. Journal of Symbolic Logic. 1985. TLDR. It is shown that in a certain class generic extension of L ...
Select Comparing incomparable kleene degrees1. Comparing incomparable kleene degrees1. Philip Welch. Published online by Cambridge University Press: 12 March ...
Kleene and Post [2] have shown that between each degree a and its completion a' there are an infinity of mutually incomparable degrees of unsolvability, and ...
Missing: Comparing | Show results with:Comparing
To prove various separation results on Weihrauch reducibility,. Kleene's recursion theorem has been frequently used as a simple, but very strong, proof.