53 found
Sort by:
  1. Gaisi Takeuti (2002). Incompleteness Theorems and S I 2 Versus S I+1 2. Bulletin of Symbolic Logic 8 (3):433-435.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. 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  
  3. Gaisi Takeuti (1998). Frege Proof System and TNC⚬. Journal of Symbolic Logic 63 (2):709 - 738.
  4. Gaisi Takeuti (1998). Frege Proof System and TNC$^Circ$. Journal of Symbolic Logic 63 (2):709-738.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. 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  
  6. 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  
  7. Gaisi Takeuti (1994). Grzegorcyk's Hierarchy and Iepσ. Journal of Symbolic Logic 59 (4):1274 - 1284.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Gaisi Takeuti (1994). Grzegorcyk's Hierarchy and $IepSigma_1$. Journal of Symbolic Logic 59 (4):1274-1284.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. 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  
  10. Gaisi Takeuti & Satoko Titani (1992). Fuzzy Logic and Fuzzy Set Theory. Archive for Mathematical Logic 32 (1):1-32.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. 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.
    T i 2 = S i +1 2 implies ∑ p i +1 ⊆ Δ p i +1 ⧸poly. S 2 and IΔ 0 ƒ are not finitely axiomatizable. The main tool is a Herbrand-type witnessing theorem for ∃∀∃ П b i -formulas provable in T i 2 where the witnessing functions are □ p i +1.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. 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  
  13. Gaisi Takeuti (1991). Jan Krajíèek. Annals of Pure and Applied Logic 52:143-153.
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. 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  
  15. 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  
  16. 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  
  17. Gaisi Takeuti (1987). Proof Theory. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..
     
    My bibliography  
     
    Export citation  
  18. Gaisi Takeuti & Satoko Titani (1987). Globalization of Intui Tionistic Set Theory. Annals of Pure and Applied Logic 33 (2):195-211.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Gaisi Takeuti & Satoko Titani (1986). Global Intuitionistic Analysis. Annals of Pure and Applied Logic 31 (2):307-339.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. Georg Kreisel & Gaisi Takeuti (1985). Formally Self-Referential Propositions for Cut Free Analysis and Related Systems. Journal of Symbolic Logic 50 (1):244-246.
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. 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  
  22. 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  
  23. Gaisi Takeuti & Mariko Yasugi (1983). The Ordinals of the Systems of Second Order Arithmetic with the Provably ▵ 1 2 -Comprehension Axiom and with the ▵ 1 2 - Comprehension Axiom Respectively. [REVIEW] Journal of Symbolic Logic 48 (3):877-878.
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. 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  
  25. 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  
  26. 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.
  27. Gaisi Takeuti (1978). Two Applications of Logic to Mathematics. Princeton University Press.
     
    My bibliography  
     
    Export citation  
  28. 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  
  29. Gaisi Takeuti (1971). Introduction to Axiomatic Set Theory. New York,Springer-Verlag.
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Gaisi Takeuti (1971). Meetings of the Association for Symbolic Logic. Journal of Symbolic Logic 36 (2):357-384.
  31. Gaisi Takeuti (1969). The Universe of Set Theory. In Kurt Gödel, Jack J. Bulloff, Thomas C. Holyoke & Samuel Wilfred Hahn (eds.), Foundations of Mathematics. New York, Springer. 74--128.
  32. Gaisi Takeuti & Akiko Kino (1968). On Hierarchies of Predicates of Ordinal Numbers. Journal of Symbolic Logic 33 (2):293-294.
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. 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  
  34. 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  
  35. Gaisi Takeuti (1965). Transcendence of Cardinals. Journal of Symbolic Logic 30 (1):1-7.
  36. Gaisi Takeuti & Akiko Kino (1965). On Predicates with Constructive Infinitely Long Expressions. Journal of Symbolic Logic 30 (1):97-98.
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. Gaisi Takeuti (1964). A Remark on Gentzen's Paper "Beweisbarkeit Und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der Reinen Zahlentheorie." I-II. Journal of Symbolic Logic 29 (1):58-59.
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Gaisi Takeuti (1964). Ordinal Diagrams II. Journal of Symbolic Logic 29 (3):146-147.
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. Gaisi Takeuti (1962). A Formal System of First-Order Predicate Calculus with Infinitely Long Expressions. Journal of Symbolic Logic 27 (4):468-468.
    Direct download  
     
    My bibliography  
     
    Export citation  
  40. Gaisi Takeuti (1962). Axioms of Infinity of Set Theory. Journal of Symbolic Logic 27 (3):354-355.
    Direct download  
     
    My bibliography  
     
    Export citation  
  41. 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  
  42. Gaisi Takeuti (1959). A Metamathematical Theorem on the Theory of Ordinal Numbers. Journal of Symbolic Logic 24 (1):62-62.
    Direct download  
     
    My bibliography  
     
    Export citation  
  43. Gaisi Takeuti (1959). A Metamathematical Theorem on Functions. Journal of Symbolic Logic 24 (1):65-66.
    Direct download  
     
    My bibliography  
     
    Export citation  
  44. Gaisi Takeuti (1959). Construction of the Set Theory From the Theory of Ordinal Numbers. Journal of Symbolic Logic 24 (1):66-67.
    Direct download  
     
    My bibliography  
     
    Export citation  
  45. Gaisi Takeuti (1959). Ordinal Diagrams. Journal of Symbolic Logic 24 (1):64-65.
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Gaisi Takeuti (1959). On the Fundamental Conjecture of GLC. Journal of Symbolic Logic 24 (1):62-64.
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. Gaisi Takeuti (1959). On the Formal Theory of the Ordinal Diagrams. Journal of Symbolic Logic 24 (1):65-65.
    Direct download  
     
    My bibliography  
     
    Export citation  
  48. Gaisi Takeuti (1959). On the Theory of Ordinal Numbers. Journal of Symbolic Logic 24 (1):67-67.
     
    My bibliography  
     
    Export citation  
  49. Gaisi Takeuti (1959). Remark on My Paper: On Skolem's Theorem. Journal of Symbolic Logic 24 (1):66-66.
     
    My bibliography  
     
    Export citation  
  50. 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  
1 — 50 / 53