Masazumi Hanazawa

Available identifiers

zbMath Open hanazawa.masazumiMaRDI QIDQ799668

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2762301	2002-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q4503757	2001-01-14	Paper
On a refinement of anti-Souslin tree property	1999-02-04	Paper
A more efficient algorithm for MPR problems in phylogeny	1998-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q4865587	1996-03-21	Paper
Generating most parsimonious reconstructions on a tree: A generalization of the Farris-Swofford-Maddison method	1995-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q5288685	1993-08-15	Paper
On axiom schemata applicable to the formulae with \(\epsilon\)-symbols	1990-01-01	Paper
On intuitionistic many-valued logics	1986-01-01	Paper
An interpolation theorem in many-valued logic	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3684800	1984-01-01	Paper
Countable metacompactness and tree topologies	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3312216	1983-01-01	Paper
On Aronszajn trees with a non-Souslin base	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3310603	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3960837	1982-01-01	Paper
On a classification of Aronszajn trees. II	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3931378	1981-01-01	Paper
On a classification of Aronszajn trees	1980-01-01	Paper
An Extension of the Notion of Relativization to Hilbert's ε-Symbol	1980-01-01	Paper
On a problem about Skolem's paradox of Takeuti's version	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3890683	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3905251	1979-01-01	Paper
A theory of ordinal numbers with Ackermann's schema	1978-01-01	Paper
A second order theory of ordinal numbers with Ackermann-type reflection schema	1977-01-01	Paper
A remark on ordered structures with unary predicates	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4111563	1975-01-01	Paper
A characterization of axiom schema playing the rôle of tertium non datur in intuitionistic logic	1966-01-01	Paper

Research outcomes over time

This page was built for person: Masazumi Hanazawa