We introduce the notion of "semi-r.e." for subsets of ω, a generalization of "semirecursive" and of "r.e.", and the notion of "weakly semirecursive", a generalization of "semi-r.e.". We show that A is weakly semirecursive iff, for any n numbers x 1 ,...,x n , knowing how many of these numbers belong to A is equivalent to knowing which of these numbers belong to A. It is shown that there exist weakly semirecursive sets that are neither semi-r.e. nor co-semi-r.e. On the (...) other hand, we exhibit nonzero Turing degrees in which every weakly semirecursive set is semirecursive. We characterize the notion "A is weakly semirecursive and recursive in K" in terms of recursive approximations to A. We also show that if a finite Boolean combination of r.e. sets is semirecursive then it must be r.e. or co-r.e. Several open questions are raised. (shrink)

If S is a finite set, let |S| be the cardinality of S. We show that if $m \in \omega, A \subseteq \omega, B \subseteq \omega$ , and |{i: 1 ≤ i ≤ 2 m & x i ∈ A}| can be computed by an algorithm which, for all x 1 ,...,x 2 m , makes at most m queries to B, then A is recursive in the halting set K. If m = 1, we show that A is recursive.

An ω-set is a subset of the recursive ordinals whose complement with respect to the recursive ordinals is unbounded and has order type ω. This concept has proved fruitful in the study of sets in relation to metarecursion theory. We prove that the metadegrees of the sets coincide with those of the meta-r.e. ω-sets. We then show that, given any set, a metacomplete set can be found which is weakly metarecursive in it. It then follows that weak relative metarecursiveness is (...) not a transitive relation on the sets, extending a result of G. Driscoll [2, Theorem 3.1]. Coincidentally, we discuss the notions of total and complete regularity. Finally, we solve Post's problem for the transitive closure of weak relative metarecursiveness. We recommend the reader look at pp. 324–328 of the fundamental article [6] of Kreisel and Sacks before proceeding. He will find there a proof of the following very basic fact: a subset of the integers is iff it is metarecursively enumerable (metafinite). (shrink)