Gaisi Takeuti - RankMe

25 papers Journal 23Unranked 2

Year	Rank	Type	Title / Venue / Authors
2000	J	`jnl`	Gödel Sentences of Bounded Arithmetic. J. Symb. Log. Gaisi Takeuti
1998	J	`jnl`	Forcing on Bounded Arithmetic II. J. Symb. Log. Gaisi Takeuti, Masahiro Yasumoto
1998	J	`jnl`	Frege Proof System and TNCdegree. J. Symb. Log. Gaisi Takeuti
1995	J	`jnl`	RSUV isomorphisms for TAC Arch. Math. Log. Gaisi Takeuti
1995	J	`jnl`	Separations of Theories in Weak Bounded Arithmetic. Ann. Pure Appl. Log. Gaisi Takeuti
1994	—	`conf`	Frege Proof System and TNC°. LCC Gaisi Takeuti
1994	J	`jnl`	Grzegorcyk's Hierarchy and Iep Sigma J. Symb. Log. Gaisi Takeuti
1994	J	`jnl`	The Critical Number of a Variable in a Function. J. Symb. Log. Gaisi Takeuti
1992	J	`jnl`	Bounded Arithmetic for NC, ALogTIME, L and NL. Ann. Pure Appl. Log. Peter Clote, Gaisi Takeuti
1992	J	`jnl`	Fuzzy logic and fuzzy set theory. Arch. Math. Log. Gaisi Takeuti, Satoko Titani
1992	J	`jnl`	On Induction-Free Provability. Ann. Math. Artif. Intell. Jan Krajícek, Gaisi Takeuti
1991	J	`jnl`	A Second Order Version of S J. Symb. Log. Gaisi Takeuti
1991	J	`jnl`	Bounded Arithmetic and the Polynomial Hierarchy. Ann. Pure Appl. Log. Jan Krajícek, Pavel Pudlák, Gaisi Takeuti
1988	J	`jnl`	Boolean Simple Groups and Boolean Simple Rings. J. Symb. Log. Gaisi Takeuti
1988	J	`jnl`	Bounded arithmetic and truth definition. Ann. Pure Appl. Log. Gaisi Takeuti
1987	J	`jnl`	Globalization of intui tionistic set theory. Ann. Pure Appl. Log. Gaisi Takeuti, Satoko Titani
1986	—	`conf`	Exponential Time and Bounded Arithmetic. SCT Peter Clote, Gaisi Takeuti
1986	J	`jnl`	Global intuitionistic analysis. Ann. Pure Appl. Log. Gaisi Takeuti, Satoko Titani
1984	J	`jnl`	Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory. J. Symb. Log. Gaisi Takeuti, Satoko Titani
1979	J	`jnl`	A Transfer Principle in Harmonic Analysis. J. Symb. Log. Gaisi Takeuti
1978	J	`jnl`	Meeting of the Association for Symbolic Logic: Chicago, 1977. J. Symb. Log. Carl G. Jockusch Jr., Robert I. Soare, William W. Tait, Gaisi Takeuti
1971	J	`jnl`	Meetings of the Association for Symbolic Logic. J. Symb. Log. Gaisi Takeuti
1971	J	`jnl`	Two Interpolation Theorems for a pi J. Symb. Log. Shoji Maehara, Gaisi Takeuti
1965	J	`jnl`	A Formalization of the Theory of Ordinal Numbers. J. Symb. Log. Gaisi Takeuti
1965	J	`jnl`	Transcendence of Cardinals. J. Symb. Log. Gaisi Takeuti