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, 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)