2000 |
20 | | Gaisi Takeuti:
Gödel Sentences of Bounded Arithmetic.
J. Symb. Log. 65(3): 1338-1346 (2000) |
1998 |
19 | | Gaisi Takeuti:
Frege Proof System and TNC°.
J. Symb. Log. 63(2): 709-738 (1998) |
18 | | Gaisi Takeuti,
Masahiro Yasumoto:
Forcing on Bounded Arithmetic II.
J. Symb. Log. 63(3): 860-868 (1998) |
1995 |
17 | | Gaisi Takeuti:
Separations of Theories in Weak Bounded Arithmetic.
Ann. Pure Appl. Logic 71(1): 47-67 (1995) |
1994 |
16 | | Gaisi Takeuti:
Frege Proof System and TNC°.
LCC 1994: 221-252 |
15 | | Gaisi Takeuti:
The Critical Number of a Variable in a Function.
J. Symb. Log. 59(4): 1228-1244 (1994) |
14 | | Gaisi Takeuti:
Grzegorcyk's Hierarchy and Iep Sigma1.
J. Symb. Log. 59(4): 1274-1284 (1994) |
1992 |
13 | | Jan Krajícek,
Gaisi Takeuti:
On Induction-Free Provability.
Ann. Math. Artif. Intell. 6(1-3): 107-125 (1992) |
12 | | Peter Clote,
Gaisi Takeuti:
Bounded Arithmetic for NC, ALogTIME, L and NL.
Ann. Pure Appl. Logic 56(1-3): 73-117 (1992) |
1991 |
11 | | Jan Krajícek,
Pavel Pudlák,
Gaisi Takeuti:
Bounded Arithmetic and the Polynomial Hierarchy.
Ann. Pure Appl. Logic 52(1-2): 143-153 (1991) |
10 | | Gaisi Takeuti:
A Second Order Version of Si2 and U12.
J. Symb. Log. 56(3): 1038-1063 (1991) |
1988 |
9 | | Gaisi Takeuti:
Boolean Simple Groups and Boolean Simple Rings.
J. Symb. Log. 53(1): 160-173 (1988) |
1986 |
8 | | Peter Clote,
Gaisi Takeuti:
Exponential Time and Bounded Arithmetic.
Structure in Complexity Theory Conference 1986: 125-143 |
1984 |
7 | | Gaisi Takeuti,
Satoko Titani:
Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory.
J. Symb. Log. 49(3): 851-866 (1984) |
1979 |
6 | | Gaisi Takeuti:
A Transfer Principle in Harmonic Analysis.
J. Symb. Log. 44(3): 417-440 (1979) |
1978 |
5 | | Carl G. Jockusch Jr.,
Robert I. Soare,
William W. Tait,
Gaisi Takeuti:
Meeting of the Association for Symbolic Logic: Chicago, 1977.
J. Symb. Log. 43(3): 614-619 (1978) |
1971 |
4 | | Shoji Maehara,
Gaisi Takeuti:
Two Interpolation Theorems for a pi11 Predicate Calculus.
J. Symb. Log. 36(2): 262-270 (1971) |
3 | | Gaisi Takeuti:
Meetings of the Association for Symbolic Logic.
J. Symb. Log. 36(2): 357-384 (1971) |
1965 |
2 | | Gaisi Takeuti:
Transcendence of Cardinals.
J. Symb. Log. 30(1): 1-7 (1965) |
1 | | Gaisi Takeuti:
A Formalization of the Theory of Ordinal Numbers.
J. Symb. Log. 30(3): 295-317 (1965) |