 | 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) |
