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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Masazumi Hanazawa