Nobuyoshi Motohashi

Available identifiers

zbMath Open motohashi.nobuyoshiMaRDI QIDQ911573

List of research outcomes

Publication	Date of Publication	Type
The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996	1997-07-17	Paper
A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics	1990-01-01	Paper
Preservation theorem and relativization theorem for cofinal extensions	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4722028	1985-01-01	Paper
Equality and lyndon's interpolation theorem	1984-01-01	Paper
Approximation theory of uniqueness conditions by existence conditions	1984-01-01	Paper
A normal form theorem for first order formulas and its application to Gaifman's splitting theorem	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3346279	1983-01-01	Paper
An axiomatization theorem	1982-01-01	Paper
An elimination theorem of uniqueness conditions in the intuitionistic predicate calculus	1982-01-01	Paper
Elimination Theorems of Uniqueness Conditions	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3318751	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4739898	1981-01-01	Paper
A remark on Africk's paper on Scott's interpolation theorem for L_ω1ω	1979-01-01	Paper
A remark on Scott's interpolation theorem for L_ω1ω	1977-01-01	Paper
Partially ordered interpretations	1977-01-01	Paper
Some proof theoretic-properties of dense linear orderings and countable well-orderings	1975-01-01	Paper
Model theory on a positive second order logic with countable conjunctions and disjunctions	1973-01-01	Paper
An extended relativization theorem	1973-01-01	Paper
Two theorems on mix-relativization	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5677460	1973-01-01	Paper
Interpolation Theorem and Characterization Theorem	1972-01-01	Paper
Object logic and morphism logic	1972-01-01	Paper
A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions	1972-01-01	Paper
Some investigations on many valued logics	1972-01-01	Paper
A note on Schütte's interpolation theorem	1972-01-01	Paper
Countable structures for uncountable infinitary languages	1972-01-01	Paper
A theorem in the theory of definition	1970-01-01	Paper
On normal operations on models	1969-01-01	Paper

Research outcomes over time

This page was built for person: Nobuyoshi Motohashi