Gaisi Takeuti - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2000

Gödel Sentences of Bounded ArithmeticGaisi Takeuti. JSYML, 65(3):1338-1346, 2000.

1998

Frege Proof System and TNC°Gaisi Takeuti. JSYML, 63(2):709-738, 1998.

Forcing on Bounded Arithmetic IIGaisi Takeuti, Masahiro Yasumoto. JSYML, 63(3):860-868, 1998.

1995

Separations of Theories in Weak Bounded ArithmeticGaisi Takeuti. APAL, 71(1):47-67, 1995.

i and TLSGaisi Takeuti. AML, 33(6):427-453, 1995. [doi]

1994

Frege Proof System and TNC°Gaisi Takeuti. lcc 1995: 221-252

The Critical Number of a Variable in a FunctionGaisi Takeuti. JSYML, 59(4):1228-1244, 1994.

Grzegorcyk s Hierarchy and Iep Sigma::1::Gaisi Takeuti. JSYML, 59(4):1274-1284, 1994.

1992

Bounded Arithmetic for NC, ALogTIME, L and NLPeter Clote, Gaisi Takeuti. APAL, 56(1-3):73-117, 1992.

On Induction-Free ProvabilityJan Krajícek, Gaisi Takeuti. AMAI, 6(1-3):107-125, 1992.

Fuzzy logic and fuzzy set theoryGaisi Takeuti, Satoko Titani. AML, 32(1):1-32, 1992. [doi]

1991

Bounded Arithmetic and the Polynomial HierarchyJan Krajícek, Pavel Pudlák, Gaisi Takeuti. APAL, 52(1-2):143-153, 1991.

A Second Order Version of S:::i:::::2:: and U:::1:::::2::Gaisi Takeuti. JSYML, 56(3):1038-1063, 1991.

1990

i(BD)Gaisi Takeuti. AML, 29(3):149-169, 1990. [doi]

1988

Boolean Simple Groups and Boolean Simple RingsGaisi Takeuti. JSYML, 53(1):160-173, 1988.

Bounded arithmetic and truth definitionGaisi Takeuti. APAL, 39(1):75-104, 1988. [doi]

1987

Globalization of intui tionistic set theoryGaisi Takeuti, Satoko Titani. APAL, 33:195-211, 1987. [doi]

1986

Exponential Time and Bounded ArithmeticPeter Clote, Gaisi Takeuti. cocoon 1986: 125-143

Global intuitionistic analysisGaisi Takeuti, Satoko Titani. APAL, 31:307-339, 1986. [doi]

1984

Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set TheoryGaisi Takeuti, Satoko Titani. JSYML, 49(3):851-866, 1984.

1979

A Transfer Principle in Harmonic AnalysisGaisi Takeuti. JSYML, 44(3):417-440, 1979.

1978

Meeting of the Association for Symbolic Logic: Chicago, 1977Carl G. Jockusch Jr., Robert I. Soare, William W. Tait, Gaisi Takeuti. JSYML, 43(3):614-619, 1978.

1971

Two Interpolation Theorems for a pi:::1:::::1:: Predicate CalculusShoji Maehara, Gaisi Takeuti. JSYML, 36(2):262-270, 1971.

Meetings of the Association for Symbolic LogicGaisi Takeuti. JSYML, 36(2):357-384, 1971.

1965

Transcendence of CardinalsGaisi Takeuti. JSYML, 30(1):1-7, 1965.

A Formalization of the Theory of Ordinal NumbersGaisi Takeuti. JSYML, 30(3):295-317, 1965.

Sign in or sign up to see more results.

runs on WebDSL