67 found
Order:
  1.  2
    Proof Theory.Gaisi Takeuti - 1975 - Elsevier.
  2. Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
     
    Export citation  
     
    Bookmark   144 citations  
  3. Two Applications of Logic to Mathematics.Gaisi Takeuti - 1955 - Princeton University Press.
    Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott- Solovay's Boolean-valued models of set theory to analysis by means of complete Boolean algebras of projections. In Part Two, he develops classical analysis including complex analysis in Peano's arithmetic, showing that (...)
    Direct download  
     
    Export citation  
     
    Bookmark   41 citations  
  4.  92
    Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory.Gaisi Takeuti & Satoko Titani - 1984 - Journal of Symbolic Logic 49 (3):851-866.
  5.  19
    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 (4 more)  
     
    Export citation  
     
    Bookmark   42 citations  
  6.  13
    Fuzzy Logic and Fuzzy Set Theory.Gaisi Takeuti & Satoko Titani - 1992 - Archive for Mathematical Logic 32 (1):1-32.
  7.  10
    Globalization of Intui Tionistic Set Theory.Gaisi Takeuti & Satoko Titani - 1987 - Annals of Pure and Applied Logic 33 (2):195-211.
  8.  10
    On a Generalized Logic Calculus.Gaisi Takeuti - 1957 - Journal of Symbolic Logic 22 (4):351-352.
  9.  93
    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 (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  10.  7
    Bounded Arithmetic and Truth Definition.Gaisi Takeuti - 1988 - Annals of Pure and Applied Logic 39 (1):75-104.
  11.  11
    Introduction to Axiomatic Set Theory.Gaisi Takeuti - 1971 - New York: Springer Verlag.
    In 1963, the first author introduced a course in set theory at the University of Illinois whose main objectives were to cover Godel's work on the con sistency of the Axiom of Choice (AC) and the Generalized Continuum Hypothesis (GCH), and Cohen's work on the independence of the AC and the GCH. Notes taken in 1963 by the second author were taught by him in 1966, revised extensively, and are presented here as an introduction to axiomatic set theory. Texts in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  38
    A Formalization of the Theory of Ordinal Numbers.Gaisi Takeuti - 1965 - Journal of Symbolic Logic 30 (3):295-317.
  13.  21
    S 3 I andV 2 I (BD).Gaisi Takeuti - 1990 - Archive for Mathematical Logic 29 (3):149-169.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14. Boolean Simple Groups and Boolean Simple Rings.Gaisi Takeuti - 1988 - Journal of Symbolic Logic 53 (1):160-173.
  15. Meetings of the Association for Symbolic Logic.Gaisi Takeuti - 1971 - Journal of Symbolic Logic 36 (2):357-384.
  16.  21
    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  
     
    Bookmark   3 citations  
  17.  21
    Forcing on Bounded Arithmetic II.Gaisi Takeuti & Masahiro Yasumoto - 1998 - Journal of Symbolic Logic 63 (3):860-868.
  18. On the Theory of Ordinal Numbers.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):67-67.
  19.  43
    Transcendence of Cardinals.Gaisi Takeuti - 1965 - Journal of Symbolic Logic 30 (1):1-7.
  20.  20
    Grzegorcyk's Hierarchy and IepΣ1.Gaisi Takeuti - 1994 - Journal of Symbolic Logic 59 (4):1274-1284.
  21. Frege Proof System and TNC°.Gaisi Takeuti - 1998 - Journal of Symbolic Logic 63 (2):709 - 738.
    A Frege proof systemFis any standard system of prepositional calculus, e.g., a Hilbert style system based on finitely many axiom schemes and inference rules. An Extended Frege systemEFis obtained fromFas follows. AnEF-sequence is a sequence of formulas ψ1, …, ψκsuch that eachψiis either an axiom ofF, inferred from previous ψuand ψv by modus ponens or of the formq↔ φ, whereqis an atom occurring neither in φ nor in any of ψ1,…,ψi−1. Suchq↔ φ, is called an extension axiom andqa new extension (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  22.  2
    S 3 I andV 2 I.Gaisi Takeuti - 1990 - Archive for Mathematical Logic 29 (3):149-169.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  23.  30
    Gödel Sentences of Bounded Arithmetic.Gaisi Takeuti - 2000 - Journal of Symbolic Logic 65 (3):1338-1346.
  24. Jan Krajíèek.Gaisi Takeuti - 1991 - Annals of Pure and Applied Logic 52:143-153.
     
    Export citation  
     
    Bookmark  
  25.  22
    A Transfer Principle in Harmonic Analysis.Gaisi Takeuti - 1979 - Journal of Symbolic Logic 44 (3):417-440.
  26.  9
    Separations of Theories in Weak Bounded Arithmetic.Gaisi Takeuti - 1995 - Annals of Pure and Applied Logic 71 (1):47-67.
  27. Weaves.Barry Burd & Gaisi Takeuti - 1977 - Annals of the Japan Association for Philosophy of Science 5 (2):47-56.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28. 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.
  29. A Metamathematical Theorem on Functions.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):65-66.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Construction of Ramified Real Numbers.Gaisi Takeuti - 1957 - Journal of Symbolic Logic 22 (4):352-352.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Forcing on Bounded Arithmetic II.Gaisi Takeuti & Masahiro Yasumoto - 1998 - Journal of Symbolic Logic 63 (3):860-868.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. Godel Sentences of Bounded Arithmetic.Gaisi Takeuti - 2000 - Journal of Symbolic Logic 65 (3):1338-1346.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. On the Formal Theory of the Ordinal Diagrams.Gaisi Takeuti - 1958 - Annals of the Japan Association for Philosophy of Science 1 (3):151-170.
  34. Remark on My Paper: On Skolem's Theorem.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):66-66.
     
    Export citation  
     
    Bookmark  
  35. Review: Setsuya Seki, Report of a Symposium. [REVIEW]Gaisi Takeuti - 1960 - Journal of Symbolic Logic 25 (2):160-161.
  36.  5
    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  
     
    Bookmark   2 citations  
  37. The Critical Number of a Variable in a Function.Gaisi Takeuti - 1994 - Journal of Symbolic Logic 59 (4):1228-1244.
  38.  21
    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-73.
  39.  20
    Foundations of Mathematics.Gaisi Takeuti & Setsuya Seki - 1959 - Journal of Symbolic Logic 24 (1):73.
  40.  4
    Construction of the Set Theory From the Theory of Ordinal Numbers.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):66-67.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  4
    Grzegorcyk's Hierarchy and $IepSigma_1$.Gaisi Takeuti - 1994 - Journal of Symbolic Logic 59 (4):1274-1284.
  42.  13
    Seki Setsuya. Kisoron . Oyama-Syoten, Tiyoda-Huzimityô, Tokyo 1955, 71 Pp. [REVIEW]Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):73-73.
  43.  28
    Two Interpolation Theorems for a Π11 Predicate Calculus.Shoji Maehara & Gaisi Takeuti - 1971 - Journal of Symbolic Logic 36 (2):262 - 270.
  44.  12
    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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  42
    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.
  46. A Second Order Version of S I 2 and U 1 2.Gaisi Takeuti - 1991 - Journal of Symbolic Logic 56 (3):1038.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  9
    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.
  48.  17
    Meeting of the Association for Symbolic Logic, Chicago, 1977.Carl G. Jockusch, Robert I. Soare, William Tait & Gaisi Takeuti - 1978 - Journal of Symbolic Logic 43 (3):614 - 619.
  49.  8
    Frege Proof System and TNC$^Circ$.Gaisi Takeuti - 1998 - Journal of Symbolic Logic 63 (2):709-738.
    A Frege proof systemFis any standard system of prepositional calculus, e.g., a Hilbert style system based on finitely many axiom schemes and inference rules. An Extended Frege systemEFis obtained fromFas follows. AnEF-sequence is a sequence of formulas ψ1, …, ψκsuch that eachψiis either an axiom ofF, inferred from previous ψuand ψv by modus ponens or of the formq↔ φ, whereqis an atom occurring neither in φ nor in any of ψ1,…,ψi−1. Suchq↔ φ, is called an extension axiom andqa new extension (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50.  7
    Incompleteness Theorems and S I 2 Versus S I+1 2.Gaisi Takeuti - 2002 - Bulletin of Symbolic Logic 8 (3):433-435.
1 — 50 / 67