71 found
Order:
  1. Proof Theory.Gaisi Takeuti - 1987 - Elsevier.
     
    Export citation  
     
    My bibliography   77 citations  
  2. Two Applications of Logic to Mathematics.Gaisi Takeuti - 1978 - Princeton University Press.
  3.  13
    Bounded Arithmetic and the Polynomial Hierarchy.Jan Krajíček, Pavel Pudlák & Gaisi Takeuti - 1991 - 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)  
     
    Export citation  
     
    My bibliography   24 citations  
  4.  62
    Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory.Gaisi Takeuti & Satoko Titani - 1984 - Journal of Symbolic Logic 49 (3):851-866.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   19 citations  
  5. Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
     
    Export citation  
     
    My bibliography   17 citations  
  6. Meetings of the Association for Symbolic Logic.Gaisi Takeuti - 1971 - Journal of Symbolic Logic 36 (2):357-384.
  7. Boolean Simple Groups and Boolean Simple Rings.Gaisi Takeuti - 1988 - Journal of Symbolic Logic 53 (1):160-173.
  8.  6
    Fuzzy Logic and Fuzzy Set Theory.Gaisi Takeuti & Satoko Titani - 1992 - Archive for Mathematical Logic 32 (1):1-32.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  9. Frege Proof System and TNC⚬.Gaisi Takeuti - 1998 - Journal of Symbolic Logic 63 (2):709 - 738.
  10.  72
    Proof Theory and Set Theory.Gaisi Takeuti - 1985 - 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)  
     
    Export citation  
     
    My bibliography   5 citations  
  11.  5
    Globalization of Intui Tionistic Set Theory.Gaisi Takeuti & Satoko Titani - 1987 - Annals of Pure and Applied Logic 33 (2):195-211.
  12. The Critical Number of a Variable in a Function.Gaisi Takeuti - 1994 - Journal of Symbolic Logic 59 (4):1228-1244.
  13.  15
    Gödel Sentences of Bounded Arithmetic.Gaisi Takeuti - 2000 - Journal of Symbolic Logic 65 (3):1338-1346.
  14.  29
    The Universe of Set Theory.Gaisi Takeuti - 1969 - In Kurt Gödel, Jack J. Bulloff, Thomas C. Holyoke & Samuel Wilfred Hahn (eds.), Foundations of Mathematics. New York: Springer. pp. 74--128.
  15.  4
    Bounded Arithmetic and Truth Definition.Gaisi Takeuti - 1988 - Annals of Pure and Applied Logic 39 (1):75-104.
  16.  9
    Forcing on Bounded Arithmetic II.Gaisi Takeuti & Masahiro Yasumoto - 1998 - Journal of Symbolic Logic 63 (3):860-868.
  17.  21
    S 3 I andV 2 I (BD).Gaisi Takeuti - 1990 - Archive for Mathematical Logic 29 (3):149-169.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  18. Jan Krajíèek.Gaisi Takeuti - 1991 - Annals of Pure and Applied Logic 52:143-153.
     
    Export citation  
     
    My bibliography  
  19.  12
    Formally Self-Referential Propositions for Cut Free Analysis and Related Systems.Georg Kreisel & Gaisi Takeuti - 1985 - Journal of Symbolic Logic 50 (1):244-246.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  20.  7
    A Formalization of the Theory of Ordinal Numbers.Gaisi Takeuti - 1965 - Journal of Symbolic Logic 30 (3):295-317.
  21. Separations of Theories in Weak Bounded Arithmetic.Gaisi Takeuti - 1995 - Annals of Pure and Applied Logic 71 (1):47-67.
  22.  7
    Seki Setsuya. Kisoron . Oyama-Syoten, Tiyoda-Huzimityô, Tokyo 1955, 71 Pp. [REVIEW]Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):73.
  23.  7
    A Transfer Principle in Harmonic Analysis.Gaisi Takeuti - 1979 - Journal of Symbolic Logic 44 (3):417-440.
  24.  6
    Seki Setsuya. Symposium Hôkokusyû . Kisoron Bunkakai Nihon Sûgakukai, Tokyo 1959, 47 Pp. [REVIEW]Gaisi Takeuti - 1960 - Journal of Symbolic Logic 25 (2):160-161.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  25. 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]Gaisi Takeuti & Mariko Yasugi - 1983 - Journal of Symbolic Logic 48 (3):877-878.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  26.  3
    On a Generalized Logic Calculus.Gaisi Takeuti - 1957 - Journal of Symbolic Logic 22 (4):351-352.
  27.  7
    Review: Setsuya Seki, Foundations of Mathematics. [REVIEW]Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):73-73.
  28.  5
    Seki Setsuya. Syûgôron Nyûmon . Baifukan, Kanda-Nisikityô, Tokyo 1957, 172 Pp. [REVIEW]Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):73.
  29.  4
    Foundations of Mathematics.Gaisi Takeuti & Setsuya Seki - 1959 - Journal of Symbolic Logic 24 (1):73.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30.  14
    Transcendence of Cardinals.Gaisi Takeuti - 1965 - Journal of Symbolic Logic 30 (1):1-7.
  31. Ordinal Diagrams II.Gaisi Takeuti - 1964 - Journal of Symbolic Logic 29 (3):146-147.
  32. A Metamathematical Theorem on the Theory of Ordinal Numbers.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):62-62.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  33. Ordinal Diagrams.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):64-65.
  34.  4
    A Second Order Version of Si2 and U12.Gaisi Takeuti - 1991 - Journal of Symbolic Logic 56 (3):1038-1063.
  35.  9
    Grzegorcyk's Hierarchy and Iepσ.Gaisi Takeuti - 1994 - Journal of Symbolic Logic 59 (4):1274 - 1284.
  36.  10
    Two Interpolation Theorems for a Π11 Predicate Calculus.Shoji Maehara & Gaisi Takeuti - 1971 - Journal of Symbolic Logic 36 (2):262 - 270.
  37. Review: Setsuya Seki, Introduction to Set Theory. [REVIEW]Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):73-73.
     
    Export citation  
     
    My bibliography  
  38.  4
    Global Intuitionistic Analysis.Gaisi Takeuti & Satoko Titani - 1986 - Annals of Pure and Applied Logic 31 (2):307-339.
  39.  6
    Meeting of the Association for Symbolic Logic: Chicago, 1977.Carl G. Jockusch Jr, Robert I. Soare, William Tait & Gaisi Takeuti - 1978 - Journal of Symbolic Logic 43 (3):614 - 619.
  40. Review: Kurt Schutte, Syntactical and Semantical Properties of Simple Type Theory. [REVIEW]Gaisi Takeuti - 1967 - Journal of Symbolic Logic 32 (3):418-419.
     
    Export citation  
     
    My bibliography  
  41.  1
    Incompleteness Theorems and S I 2 Versus S I+1 2Godel Sentences of Bounded Arithmetic.Arnold Beckmann & Gaisi Takeuti - 2002 - Bulletin of Symbolic Logic 8 (3):433.
  42.  1
    Proof Theory.Proof Theory: Some Personal Recollections.Contributions of the Schutte School in Munich to Proof Theory.Subsystems of Z 2 and Reverse Mathematics.Proof Theory: A Personal Report. [REVIEW]Dag Prawitz, Gaisi Takeuti, Georg Kreisel, Wolfram Pohlers, Stephen G. Simpson & Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (3):1094.
  43.  1
    Meetings of the Association for Symbolic Logic, U.S.-Japan Logic Seminar, Tokyo 1969.Gaisi Takeuti - 1971 - Journal of Symbolic Logic 36 (2):357-359.
  44.  1
    A Remark on Gentzen's Paper "Beweisbarkeit Und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der Reinen Zahlentheorie." I-II.Gaisi Takeuti - 1964 - Journal of Symbolic Logic 29 (1):58-59.
  45.  1
    Frege Proof System and TNC$^Circ$.Gaisi Takeuti - 1998 - Journal of Symbolic Logic 63 (2):709-738.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  46.  1
    On Predicates with Constructive Infinitely Long Expressions.Gaisi Takeuti & Akiko Kino - 1965 - Journal of Symbolic Logic 30 (1):97-98.
    Direct download  
     
    Export citation  
     
    My bibliography  
  47.  1
    On the Fundamental Conjecture of GLC.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):62-64.
  48. Weaves.Barry Burd & Gaisi Takeuti - 1977 - Annals of the Japan Association for Philosophy of Science 5 (2):47-56.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980. [REVIEW]G. H. Müller, Gaisi Takeuti & T. Tugué (eds.) - 1981 - Springer Verlag.
  50. A Formal System of First-Order Predicate Calculus with Infinitely Long Expressions.Gaisi Takeuti - 1962 - Journal of Symbolic Logic 27 (4):468-468.
    Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 71