Login

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)