| Publication | Date of Publication | Type |
|---|
Frege proof system and TNC°
Lecture Notes in Computer Science | 2023-12-12 | Paper |
scientific article; zbMATH DE number 2222027 (Why is no real title available?)
| 2005-11-02 | Paper |
scientific article; zbMATH DE number 1943800 (Why is no real title available?)
| 2003-07-01 | Paper |
Frege proof system and TNC°
Journal of Symbolic Logic | 2001-05-02 | Paper |
scientific article; zbMATH DE number 1344922 (Why is no real title available?)
| 2000-01-13 | Paper |
Gödel sentences of bounded arithmetic
Journal of Symbolic Logic | 2000-01-01 | Paper |
Forcing on bounded arithmetic II
Journal of Symbolic Logic | 1999-08-31 | Paper |
scientific article; zbMATH DE number 1222931 (Why is no real title available?)
| 1998-11-11 | Paper |
scientific article; zbMATH DE number 1169384 (Why is no real title available?)
| 1998-06-25 | Paper |
scientific article; zbMATH DE number 922619 (Why is no real title available?)
| 1997-06-15 | Paper |
On induction-free provability
Annals of Mathematics and Artificial Intelligence | 1997-05-13 | Paper |
scientific article; zbMATH DE number 806747 (Why is no real title available?)
| 1996-06-06 | Paper |
Separations of theories in weak bounded arithmetic
Annals of Pure and Applied Logic | 1995-07-20 | Paper |
Grzegorcyk's hierarchy and IepΣ1
Journal of Symbolic Logic | 1995-07-20 | Paper |
The critical number of a variable in a function
Journal of Symbolic Logic | 1995-07-20 | Paper |
RSUV isomorphisms for TAC\(^ i\), TNC\(^ i\) and \(TLS\)
Archive for Mathematical Logic | 1995-05-01 | Paper |
scientific article; zbMATH DE number 440487 (Why is no real title available?)
| 1994-07-26 | Paper |
Fuzzy logic and fuzzy set theory
Archive for Mathematical Logic | 1994-01-13 | Paper |
scientific article; zbMATH DE number 440477 (Why is no real title available?)
| 1993-12-02 | Paper |
scientific article; zbMATH DE number 218509 (Why is no real title available?)
| 1993-06-29 | Paper |
scientific article; zbMATH DE number 176210 (Why is no real title available?)
| 1993-05-18 | Paper |
Bounded arithmetic for NC, ALogTIME, L and NL
Annals of Pure and Applied Logic | 1992-09-27 | Paper |
A second order version of S2i and U21
Journal of Symbolic Logic | 1992-06-27 | Paper |
Bounded arithmetic and the polynomial hierarchy
Annals of Pure and Applied Logic | 1992-06-25 | Paper |
scientific article; zbMATH DE number 4160722 (Why is no real title available?)
| 1990-01-01 | Paper |
\(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\)
Archive for Mathematical Logic | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4087659 (Why is no real title available?)
| 1989-01-01 | Paper |
Bounded arithmetic and truth definition
Annals of Pure and Applied Logic | 1988-01-01 | Paper |
Boolean simple groups and boolean simple rings
Journal of Symbolic Logic | 1988-01-01 | Paper |
Proof theory. 2nd ed
Studies in Logic and the Foundations of Mathematics | 1987-01-01 | Paper |
Globalization of intuitionistic set theory
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4049637 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4114622 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4053608 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4006252 (Why is no real title available?)
| 1986-01-01 | Paper |
Global intuitionistic analysis
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3952743 (Why is no real title available?)
| 1986-01-01 | Paper |
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
Journal of Symbolic Logic | 1984-01-01 | Paper |
Von Neumann algebras and Boolean valued analysis
Journal of the Mathematical Society of Japan | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3855790 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3769614 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3750937 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3788577 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3756467 (Why is no real title available?)
| 1981-01-01 | Paper |
An accessibility proof of ordinal diagrams
Journal of the Mathematical Society of Japan | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3664940 (Why is no real title available?)
| 1979-01-01 | Paper |
A transfer principle in harmonic analysis
Journal of Symbolic Logic | 1979-01-01 | Paper |
Two Applications of Logic to Mathematics
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3618136 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3619862 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3557812 (Why is no real title available?)
| 1977-01-01 | Paper |
Weaves
Annals of the Japan Association for Philosophy of Science | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3556028 (Why is no real title available?)
| 1976-01-01 | Paper |
Proof theory
Studies in Logic and the Foundations of Mathematics | 1975-01-01 | Paper |
Proof theory
Studies in Logic and the Foundations of Mathematics | 1975-01-01 | Paper |
scientific article; zbMATH DE number 3508470 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3525107 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3411031 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3450171 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3356769 (Why is no real title available?)
| 1971-01-01 | Paper |
Two interpolation theorems for a predicate calculus
Journal of Symbolic Logic | 1971-01-01 | Paper |
scientific article; zbMATH DE number 3356762 (Why is no real title available?)
| 1971-01-01 | Paper |
A Determinate Logic
Nagoya Mathematical Journal | 1970-01-01 | Paper |
A Relativization of Axioms of Strong Infinity to ^|^omega;1
Annals of the Japan Association for Philosophy of Science | 1970-01-01 | Paper |
The Universe of Set Theory
Foundations of Mathematics | 1969-01-01 | Paper |
scientific article; zbMATH DE number 3310893 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3290298 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3296235 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3290303 (Why is no real title available?)
| 1968-01-01 | Paper |
Consistency proofs of subsystems of classical analysis
Annals of Mathematics. Second Series | 1967-01-01 | Paper |
Transcendence of cardinals
Journal of Symbolic Logic | 1965-01-01 | Paper |
scientific article; zbMATH DE number 3316923 (Why is no real title available?)
| 1965-01-01 | Paper |
A formalization of the theory of ordinal numbers
Journal of Symbolic Logic | 1965-01-01 | Paper |
A generalization of König's lemma
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1963-01-01 | Paper |
A Remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten induktionin der reinen zahlentheorie”, I
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1963-01-01 | Paper |
On predicates with constructive infinitely long expressions
Journal of the Mathematical Society of Japan | 1963-01-01 | Paper |
A formal system of first-order predicate calculus with infinitely long expressions
Journal of the Mathematical Society of Japan | 1962-01-01 | Paper |
Dirac space
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1962-01-01 | Paper |
On the inductive definition with quantifiers of second order
Journal of the Mathematical Society of Japan | 1962-01-01 | Paper |
On the weak definability in set theory
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1962-01-01 | Paper |
A note on predicates of ordinal numbers
Journal of the Mathematical Society of Japan | 1962-01-01 | Paper |
On hierarchies of predicates of ordinal numbers
Journal of the Mathematical Society of Japan | 1962-01-01 | Paper |
Axioms of infinity of set theory
Journal of the Mathematical Society of Japan | 1961-01-01 | Paper |
Remarks on the truth definition
Journal of the Mathematical Society of Japan | 1961-01-01 | Paper |
Remarks on Cantor's Absolute
Journal of the Mathematical Society of Japan | 1961-01-01 | Paper |
On the fundamental conjecture of GLC, VI
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1961-01-01 | Paper |
Remarks on Cantor's absolute, II
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1961-01-01 | Paper |
An example on the fundamental conjecture of \(GLC\)
Journal of the Mathematical Society of Japan | 1960-01-01 | Paper |
On the recursive functions of ordinal numbers
Journal of the Mathematical Society of Japan | 1960-01-01 | Paper |
Ordinal diagrams. II
Journal of the Mathematical Society of Japan | 1960-01-01 | Paper |
On the fundamental conjecture of \(GLC\). V
Journal of the Mathematical Society of Japan | 1958-01-01 | Paper |
Remark on the fundamental conjecture of \(GLC\)
Journal of the Mathematical Society of Japan | 1958-01-01 | Paper |
On the theory of ordinal numbers. II
Journal of the Mathematical Society of Japan | 1958-01-01 | Paper |
On the Formal Theory of the Ordinal Diagrams
Annals of the Japan Association for Philosophy of Science | 1958-01-01 | Paper |
Ordinal diagrams
Journal of the Mathematical Society of Japan | 1957-01-01 | Paper |
On the theory of ordinal numbers
Journal of the Mathematical Society of Japan | 1957-01-01 | Paper |
On Skolem's theorem
Journal of the Mathematical Society of Japan | 1957-01-01 | Paper |
Remark on my paper: On Skolem's theorem
Journal of the Mathematical Society of Japan | 1957-01-01 | Paper |
On the fundamental conjecture of \(GLC\). III
Journal of the Mathematical Society of Japan | 1956-01-01 | Paper |
On the fundamental conjecture of \(GLC\). IV
Journal of the Mathematical Society of Japan | 1956-01-01 | Paper |
A meta-mathematical theorem on functions
Journal of the Mathematical Society of Japan | 1956-01-01 | Paper |
Construction of Ramified Real Numbers
Annals of the Japan Association for Philosophy of Science | 1956-01-01 | Paper |
On the fundamental conjecture of \(GLC\). I, II
Journal of the Mathematical Society of Japan | 1955-01-01 | Paper |
Construction of the set theory from the theory of ordinal numbers
Journal of the Mathematical Society of Japan | 1954-01-01 | Paper |
scientific article; zbMATH DE number 3085192 (Why is no real title available?)
| 1954-01-01 | Paper |
scientific article; zbMATH DE number 3085191 (Why is no real title available?)
| 1953-01-01 | Paper |
A metamathematical theorem on the theory of ordinal numbers
Journal of the Mathematical Society of Japan | 1952-01-01 | Paper |
