Takahashi, Moto-o, On the Existence of Cohen Extensions (1972) Takahashi, Moto-o, A Proof of Cut-Elimination Theorem in Simple Type-Theory Takeno, Hyôitirô, The Mathematical Theory of Plane Gravitational Waves in General Relativity (1961) Takeno, Hyôitirô, The Theory of Spherically Symmetric Space-Times (1963) Takeuchi, Kensuke, On Free Modular Lattices II (1959) Takeuti, G., Cut Elimination of Simple Type Theory Takeuti, Gaisi, Construction of Ramified Real Numbers (1956) Takeuti, Gaisi, On the Formal Theory of the Ordinal Diagrams (1958) Takeuti, Gaisi, Abstract of 'Remarks on Cantor's Absolute II' (1961) Takeuti, Gaisi, On the Fundamental Conjecture of GLC. VI (1961)