On a Problem of Boone.
On recursive measure of classes of recursive sets
On reducibility of partial recursive functions.
On resemblance and recursive isomorphism types of bounded partial recursive functions.
On some properties of -maximal sets and -reducibility.
On the Degrees of Universal Regressive Isols.
On the form of functions which preserve regressive isols
On the relation of -reducibility between admissible sets.
Optimal bounds for ordinal comparison maps.
Polynomial time bounded truth-table reducibilities to padded sets
We study bounded truth-table reducibilities to sets of small information content called padded (a set is in the class of all -padded sets, if it is a subset of ). This is a continuation of the research of reducibilities to sparse and tally sets that were studied in many previous papers (for a good survey see [HOW1]). We show necessary and sufficient conditions to collapse and separate classes of bounded truth-table reducibilities to padded sets. We prove that depending on two properties of a...
Prioric games and minimal degrees below
Recursion theoretic operators and morphisms on numbered sets
Recursiveness of initial segments of Kleene's O
Reducibilities of sets based on constructive functions of a real variable
Reducibilities on tally and sparse sets
Remarks on 1-genericity, semigenericity and related concepts
Remarks on the structure of tt-degrees based on constructive measure theory
The arithmetic and turing degrees are not elementary equivalent.
The difference and truth-table hierarchies for NP
The join of equational theories