| Publication | Date of Publication | Type |
|---|
The lightest totalization of an endnode labelling of a non-tree graph. I
Proceedings of the School of Science of Tokai University | 2002-01-08 | Paper |
scientific article; zbMATH DE number 1506970 (Why is no real title available?)
| 2001-01-14 | Paper |
On a refinement of anti-Souslin tree property
Tsukuba Journal of Mathematics | 1999-02-04 | Paper |
A more efficient algorithm for MPR problems in phylogeny
Discrete Applied Mathematics | 1998-03-25 | Paper |
scientific article; zbMATH DE number 845547 (Why is no real title available?)
| 1996-03-21 | Paper |
Generating most parsimonious reconstructions on a tree: A generalization of the Farris-Swofford-Maddison method
Discrete Applied Mathematics | 1995-10-05 | Paper |
scientific article; zbMATH DE number 269837 (Why is no real title available?)
| 1993-08-15 | Paper |
On axiom schemata applicable to the formulae with \(\epsilon\)-symbols
Tsukuba Journal of Mathematics | 1990-01-01 | Paper |
An interpolation theorem in many-valued logic
Journal of Symbolic Logic | 1986-01-01 | Paper |
On intuitionistic many-valued logics
Journal of the Mathematical Society of Japan | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3907321 (Why is no real title available?)
| 1984-01-01 | Paper |
Countable metacompactness and tree topologies
Journal of the Mathematical Society of Japan | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3841841 (Why is no real title available?)
| 1983-01-01 | Paper |
On Aronszajn trees with a non-Souslin base
Tsukuba Journal of Mathematics | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3839940 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3781157 (Why is no real title available?)
| 1982-01-01 | Paper |
On a classification of Aronszajn trees. II
Tsukuba Journal of Mathematics | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3745148 (Why is no real title available?)
| 1981-01-01 | Paper |
On a classification of Aronszajn trees
Tsukuba Journal of Mathematics | 1980-01-01 | Paper |
An Extension of the Notion of Relativization to Hilbert's ε-Symbol
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1980-01-01 | Paper |
On a problem about Skolem's paradox of Takeuti's version
Tsukuba Journal of Mathematics | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3697105 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3715501 (Why is no real title available?)
| 1979-01-01 | Paper |
A theory of ordinal numbers with Ackermann's schema
Journal of the Mathematical Society of Japan | 1978-01-01 | Paper |
A second order theory of ordinal numbers with Ackermann-type reflection schema
Journal of the Mathematical Society of Japan | 1977-01-01 | Paper |
A remark on ordered structures with unary predicates
Journal of the Mathematical Society of Japan | 1975-01-01 | Paper |
scientific article; zbMATH DE number 3536084 (Why is no real title available?)
| 1975-01-01 | Paper |
A characterization of axiom schema playing the rôle of tertium non datur in intuitionistic logic
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1966-01-01 | Paper |
