Tanaka, Hisao, On Limits of Sequences of Recursive Functions (1966) Tanaka, Hisao, On Theories Formalized in the First-Order Predicate Logic with Infinitely Long Expressions (1966) Tanaka, Hisao, Some Properties of $\Sigma_1^1$ and $\Pi_1^1$sets in $N^N$ (1966) Tanaka, Hisao, Some Results in Effective Descriptive Set Theory (1967) Tanaka, Hisao, A Basis Result for $\Pi_1^1$-sets of Positive Measure (1968) Tanaka, Hisao, Notes on Measure and Category in Recursion Theory (1970) Tanaka, Hisao, A Note on Hyperdegrees (1971) Tanaka, Hisao, Analytic Well-orderings and Basis Theorems (1971) Tanaka, Hisao, Monotone Inductive Definitions (1971) Tanaka, Hisao, Some Results on Hierarchy Problems in Recursion Theory (1972)