I agree that this site is using cookies. You can find further informations here.
X
Takeuti, Gaisi
76  results:
Search for persons X
?
1

Forcing on Bounded Arithmetic:

, In: Gödel '96,
Takeuti, Gaisi ; Yasumoto, Masahiro - p. 120-138 , 2017
Link: https://doi.org/10.1017/..
 
?
2

Two Applications of Logic to Mathematics 

Publications of the Mathematical Society of Japan
Takeuti, Gaisi , [2015]
Link: https://doi.org/10.1515/..
 
?
3

Memoirs of a proof theorist: Gödel and other logicians:

Takeuti, Gaisi , 2003
Link: https://search.ebscohost..
 
?
4

Gödel Sentences of Bounded Arithmetic:

Takeuti, Gaisi
The Journal of Symbolic Logic.  65 (2000)  3 - p. 1338-1346 , 2000
Link: https://www.jstor.org/st..
 
?
5

Frege Proof System and TNC⚬:

Takeuti, Gaisi
The Journal of Symbolic Logic.  63 (1998)  2 - p. 709-738 , 1998
Link: https://www.jstor.org/st..
 
?
6

Forcing on Bounded Arithmetic II:

Takeuti, Gaisi ; Yasumoto, Masahiro
The Journal of Symbolic Logic.  63 (1998)  3 - p. 860-868 , 1998
Link: https://www.jstor.org/st..
 
?
7

Separations of theories in weak bounded arithmetic:

Takeuti, Gaisi
Annals of Pure and Applied Logic.  71 (1995)  1 - p. 47-67 , 1995
Link: https://doi.org/10.1016/..
 
?
8

The Critical Number of a Variable in a Function:

Takeuti, Gaisi
The Journal of Symbolic Logic.  59 (1994)  4 - p. 1228-1244 , 1994
Link: https://www.jstor.org/st..
 
?
9

Grzegorcyk's Hierarchy and IepΣ1:

Takeuti, Gaisi
The Journal of Symbolic Logic.  59 (1994)  4 - p. 1274-1284 , 1994
Link: https://www.jstor.org/st..
 
?
10

On induction-free provability:

Krajíček, Jan ; Takeuti, Gaisi
Annals of Mathematics and Artificial Intelligence.  6 (1992)  1-3 - p. 107-125 , 1992
Link: https://doi.org/10.1007/..
 
?
11

Fuzzy logic and fuzzy set theory:

Takeuti, Gaisi ; Titani, Satoko
Archive for Mathematical Logic.  32 (1992)  1 - p. 1-32 , 1992
Link: https://doi.org/10.1007/..
 
?
12

Bounded arithmetic and the polynomial hierarchy:

Krajíček, Jan ; Pudlák, Pavel ; Takeuti, Gaisi
Annals of Pure and Applied Logic.  52 (1991)  1-2 - p. 143-153 , 1991
Link: https://doi.org/10.1016/..
 
?
13

A Second Order Version of Si 2 and U1 2:

Takeuti, Gaisi
The Journal of Symbolic Logic.  56 (1991)  3 - p. 1038-1063 , 1991
Link: https://www.jstor.org/st..
 
?
14

S 3 i andV 2 i (BD):

Takeuti, Gaisi
Archive for Mathematical Logic.  29 (1990)  3 - p. 149-169 , 1990
Link: https://doi.org/10.1007/..
 
?
15

Boolean Simple Groups and Boolean Simple Rings:

Takeuti, Gaisi
The Journal of Symbolic Logic.  53 (1988)  1 - p. 160-173 , 1988
Link: https://www.jstor.org/st..
 
1-15
Related subjects
Anwendungen der Logik