34 found
Sort by:
  1. Gaisi Takeuti (2000). Gödel Sentences of Bounded Arithmetic. Journal of Symbolic Logic 65 (3):1338-1346.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. Gaisi Takeuti (1998). Frege Proof System and TNC⚬. Journal of Symbolic Logic 63 (2):709 - 738.
  3. Gaisi Takeuti (1998). Frege Proof System and TNC$^Circ$. Journal of Symbolic Logic 63 (2):709-738.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Gaisi Takeuti & Masahiro Yasumoto (1998). Forcing on Bounded Arithmetic II. Journal of Symbolic Logic 63 (3):860-868.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Gaisi Takeuti (1995). Separations of Theories in Weak Bounded Arithmetic. Annals of Pure and Applied Logic 71 (1):47-67.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Gaisi Takeuti (1994). Grzegorcyk's Hierarchy and Iepσ. Journal of Symbolic Logic 59 (4):1274 - 1284.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Gaisi Takeuti (1994). Grzegorcyk's Hierarchy and $IepSigma_1$. Journal of Symbolic Logic 59 (4):1274-1284.
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Gaisi Takeuti (1994). The Critical Number of a Variable in a Function. Journal of Symbolic Logic 59 (4):1228-1244.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Gaisi Takeuti & Satoko Titani (1992). Fuzzy Logic and Fuzzy Set Theory. Archive for Mathematical Logic 32 (1):1-32.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Jan Krajíček, Pavel Pudlák & Gaisi Takeuti (1991). Bounded Arithmetic and the Polynomial Hierarchy. Annals of Pure and Applied Logic 52 (1-2):143-153.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Gaisi Takeuti (1991). A Second Order Version of Si2 and U12. Journal of Symbolic Logic 56 (3):1038-1063.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Gaisi Takeuti (1991). Jan Krajíèek. Annals of Pure and Applied Logic 52:143-153.
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Gaisi Takeuti (1990). S 3 I andV 2 I (BD). Archive for Mathematical Logic 29 (3):149-169.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Gaisi Takeuti (1988). Bounded Arithmetic and Truth Definition. Annals of Pure and Applied Logic 39 (1):75-104.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Gaisi Takeuti (1988). Boolean Simple Groups and Boolean Simple Rings. Journal of Symbolic Logic 53 (1):160-173.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  16. Gaisi Takeuti (1987). Proof Theory. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..
     
    My bibliography  
     
    Export citation  
  17. Gaisi Takeuti & Satoko Titani (1987). Globalization of Intui Tionistic Set Theory. Annals of Pure and Applied Logic 33:195-211.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Gaisi Takeuti & Satoko Titani (1986). Global Intuitionistic Analysis. Annals of Pure and Applied Logic 31:307-339.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Gaisi Takeuti (1985). Proof Theory and Set Theory. Synthese 62 (2):255 - 263.
    The foundations of mathematics are divided into proof theory and set theory. Proof theory tries to justify the world of infinite mind from the standpoint of finite mind. Set theory tries to know more and more of the world of the infinite mind. The development of two subjects are discussed including a new proof of the accessibility of ordinal diagrams. Finally the world of large cardinals appears when we go slightly beyond girard's categorical approach to proof theory.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  20. Gaisi Takeuti & Satoko Titani (1984). Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory. Journal of Symbolic Logic 49 (3):851-866.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  21. G. H. Müller, Gaisi Takeuti & T. Tugué (eds.) (1981). Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980. [REVIEW] Springer-Verlag.
     
    My bibliography  
     
    Export citation  
  22. Gaisi Takeuti (1979). A Transfer Principle in Harmonic Analysis. Journal of Symbolic Logic 44 (3):417-440.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  23. Carl G. Jockusch Jr, Robert I. Soare, William Tait & Gaisi Takeuti (1978). Meeting of the Association for Symbolic Logic: Chicago, 1977. Journal of Symbolic Logic 43 (3):614 - 619.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  24. Gaisi Takeuti (1978). Two Applications of Logic to Mathematics. Princeton University Press.
     
    My bibliography  
     
    Export citation  
  25. Shoji Maehara & Gaisi Takeuti (1971). Two Interpolation Theorems for a Π11 Predicate Calculus. Journal of Symbolic Logic 36 (2):262 - 270.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  26. Gaisi Takeuti (1971). Introduction to Axiomatic Set Theory. New York,Springer-Verlag.
     
    My bibliography  
     
    Export citation  
  27. Gaisi Takeuti (1971). Meetings of the Association for Symbolic Logic. Journal of Symbolic Logic 36 (2):357-384.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  28. Gaisi Takeuti (1969). The Universe of Set Theory. In. In Kurt Gödel, Jack J. Bulloff, Thomas C. Holyoke & Samuel Wilfred Hahn (eds.), Foundations of Mathematics. New York, Springer. 74--128.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. Gaisi Takeuti (1967). Review: Kurt Schutte, Syntactical and Semantical Properties of Simple Type Theory. [REVIEW] Journal of Symbolic Logic 32 (3):418-419.
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Gaisi Takeuti (1965). A Formalization of the Theory of Ordinal Numbers. Journal of Symbolic Logic 30 (3):295-317.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  31. Gaisi Takeuti (1965). Transcendence of Cardinals. Journal of Symbolic Logic 30 (1):1-7.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  32. Gaisi Takeuti (1960). Review: Setsuya Seki, Report of a Symposium. [REVIEW] Journal of Symbolic Logic 25 (2):160-161.
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. Gaisi Takeuti (1959). Review: Setsuya Seki, Foundations of Mathematics. [REVIEW] Journal of Symbolic Logic 24 (1):73-73.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. Gaisi Takeuti (1959). Review: Setsuya Seki, Introduction to Set Theory. [REVIEW] Journal of Symbolic Logic 24 (1):73-73.
    Direct download  
     
    My bibliography  
     
    Export citation