A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
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, Analytic Well-orderings and Basis Theorems (1971) |
Tanaka, Hisao, A Note on Hyperdegrees (1971) |
Tanaka, Hisao, Monotone Inductive Definitions (1971) |
Tanaka, Hisao, Some Results on Hierarchy Problems in Recursion Theory (1972) |
Tanaka, Hisao, Lengths of Analytic Well-Orderings (1973) |
Tanaka, Hisao, Some Analytical Rules of Inference in the Second-Order Arithmetic (1975) |