Takeuti, Gaisi, On Hierarchies of Perdicates of Ordinal Numbers Takeuti, Gaisi, On the Weak Definability of Set Theory Takeuti, Gaisi, Quantum Set Theory Takeuti, Gaisi, Transcendency of Cardinals Takeuti, Gaisi ; Maehara, Shoji, The First-Order Predicate Logic with Infinitely Long Expressions with Equality (1962) Takeuti, Gaisi ; Yasugi, Mariko, Fundamental Sequences of Ordinal Diagrams (1976) Tamaka, Hisao, On the Axiom of Determinacy (1977) Tanaka, Hisao, On Limits of Sequences of Hyperarithmetical Functionals and Predicates (1966) 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)