Gaisi Takeuti

According to our database, Gaisi Takeuti authored at least 26 papers between 1965 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2000

Gödel Sentences of Bounded Arithmetic.

Gaisi Takeuti

J. Symb. Log., 2000

1998

Forcing on Bounded Arithmetic II.

Gaisi Takeuti, Masahiro Yasumoto

J. Symb. Log., 1998

Frege Proof System and TNCdegree.

Gaisi Takeuti

J. Symb. Log., 1998

1995

Separations of Theories in Weak Bounded Arithmetic.

Gaisi Takeuti

Ann. Pure Appl. Log., 1995

RSUV isomorphisms for TAC^<i>i</i>, TNC^<i>i</i> and TLS.

Gaisi Takeuti

Arch. Math. Log., 1995

1994

Grzegorcyk's Hierarchy and Iep Sigma₁.

Gaisi Takeuti

J. Symb. Log., 1994

The Critical Number of a Variable in a Function.

Gaisi Takeuti

J. Symb. Log., 1994

Frege Proof System and TNC°.

Gaisi Takeuti

Proceedings of the Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, 1994

1992

Bounded Arithmetic for NC, ALogTIME, L and NL.

Peter Clote, Gaisi Takeuti

Ann. Pure Appl. Log., 1992

Fuzzy logic and fuzzy set theory.

Gaisi Takeuti, Satoko Titani

Arch. Math. Log., 1992

On Induction-Free Provability.

Jan Krajícek, Gaisi Takeuti

Ann. Math. Artif. Intell., 1992

1991

A Second Order Version of Sⁱ₂ and U¹₂.

Gaisi Takeuti

J. Symb. Log., 1991

Bounded Arithmetic and the Polynomial Hierarchy.

Jan Krajícek, Pavel Pudlák, Gaisi Takeuti

Ann. Pure Appl. Log., 1991

1990

<i>S</i>₃^<i>i</i> and<i>V</i>₂^<i>i</i>(BD).

Gaisi Takeuti

Arch. Math. Log., 1990

1988

Boolean Simple Groups and Boolean Simple Rings.

Gaisi Takeuti

J. Symb. Log., 1988

Bounded arithmetic and truth definition.

Gaisi Takeuti

Ann. Pure Appl. Log., 1988

1987

Globalization of intui tionistic set theory.

Gaisi Takeuti, Satoko Titani

Ann. Pure Appl. Log., 1987

1986

Global intuitionistic analysis.

Gaisi Takeuti, Satoko Titani

Ann. Pure Appl. Log., 1986

Exponential Time and Bounded Arithmetic.

Peter Clote, Gaisi Takeuti

Proceedings of the Structure in Complexity Theory, 1986

1984

Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory.

Gaisi Takeuti, Satoko Titani

J. Symb. Log., 1984

1979

A Transfer Principle in Harmonic Analysis.

Gaisi Takeuti

J. Symb. Log., 1979

1978

Meeting of the Association for Symbolic Logic: Chicago, 1977.

Carl G. Jockusch Jr., Robert I. Soare, William W. Tait, Gaisi Takeuti

J. Symb. Log., 1978

1971

Meetings of the Association for Symbolic Logic.

Gaisi Takeuti

J. Symb. Log., 1971

Two Interpolation Theorems for a pi¹₁ Predicate Calculus.

Shoji Maehara, Gaisi Takeuti

J. Symb. Log., 1971

1965

A Formalization of the Theory of Ordinal Numbers.

Gaisi Takeuti

J. Symb. Log., 1965

Transcendence of Cardinals.

Gaisi Takeuti

J. Symb. Log., 1965