dblp.uni-trier.dewww.uni-trier.de

Gaisi Takeuti

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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)

Coauthor Index

1Peter Clote [8] [12]
2Carl G. Jockusch Jr. [5]
3Jan Krajícek [11] [13]
4Shoji Maehara [4]
5Pavel Pudlák [11]
6Robert I. Soare [5]
7William W. Tait [5]
8Satoko Titani [7]
9Masahiro Yasumoto [18]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)