×

Motohashi, Nobuyoshi

Author ID: motohashi.nobuyoshi Recent zbMATH articles by "Motohashi, Nobuyoshi"
Published as: Motohashi, Nobuyoshi; Motohashi, N.
Documents Indexed: 29 Publications since 1969
Co-Authors: 2 Co-Authors with 1 Joint Publication
3 Co-Co-Authors

Co-Authors

28 single-authored
1 Kakuda, Yuzuru
1 Namba, Kanji

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 26 times in 15 Documents Cited by Year
Interpolation theorem and characterization theorem. Zbl 0241.02005
Motohashi, Nobuyoshi
5
1972
Equality and Lyndon’s interpolation theorem. Zbl 0574.03014
Motohashi, Nobuyoshi
4
1984
Object logic and morphism logic. Zbl 0239.02018
Motohashi, N.
3
1972
Model theory on a positive second order logic with countable conjunctions and disjunctions. Zbl 0244.02019
Motohashi, N.
2
1973
A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions. Zbl 0252.02006
Motohashi, Nobuyoshi
2
1972
An extended relativization theorem. Zbl 0254.02015
Motohashi, N.
2
1973
Two theorems on mix-relativization. Zbl 0289.02011
Motohashi, Nobuyoshi
2
1973
A theorem in the theory of definition. Zbl 0198.32301
Motohashi, N.
1
1970
A normal form theorem for first order formulas and its application to Gaifman’s splitting theorem. Zbl 0582.03041
Motohashi, Nobuyoshi
1
1984
Preservation theorem and relativization theorem for cofinal extensions. Zbl 0624.03027
Motohashi, Nobuyoshi
1
1986
Elimination theorems of uniqueness conditions. Zbl 0528.03036
Motohashi, Nobuyoshi
1
1982
\(\epsilon\)-theorems and elimination theorems of uniqueness conditions. Zbl 0535.03009
Motohashi, Nobuyoshi
1
1982
A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics. Zbl 0697.03002
Motohashi, Nobuyoshi
1
1990
A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics. Zbl 0697.03002
Motohashi, Nobuyoshi
1
1990
Preservation theorem and relativization theorem for cofinal extensions. Zbl 0624.03027
Motohashi, Nobuyoshi
1
1986
Equality and Lyndon’s interpolation theorem. Zbl 0574.03014
Motohashi, Nobuyoshi
4
1984
A normal form theorem for first order formulas and its application to Gaifman’s splitting theorem. Zbl 0582.03041
Motohashi, Nobuyoshi
1
1984
Elimination theorems of uniqueness conditions. Zbl 0528.03036
Motohashi, Nobuyoshi
1
1982
\(\epsilon\)-theorems and elimination theorems of uniqueness conditions. Zbl 0535.03009
Motohashi, Nobuyoshi
1
1982
Model theory on a positive second order logic with countable conjunctions and disjunctions. Zbl 0244.02019
Motohashi, N.
2
1973
An extended relativization theorem. Zbl 0254.02015
Motohashi, N.
2
1973
Two theorems on mix-relativization. Zbl 0289.02011
Motohashi, Nobuyoshi
2
1973
Interpolation theorem and characterization theorem. Zbl 0241.02005
Motohashi, Nobuyoshi
5
1972
Object logic and morphism logic. Zbl 0239.02018
Motohashi, N.
3
1972
A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions. Zbl 0252.02006
Motohashi, Nobuyoshi
2
1972
A theorem in the theory of definition. Zbl 0198.32301
Motohashi, N.
1
1970

Citations by Year