Edit Profile (opens in new tab) Motohashi, Nobuyoshi Co-Author Distance Author ID: 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 all top 5 Serials 7 Journal of the Mathematical Society of Japan 6 The Journal of Symbolic Logic 6 Proceedings of the Japan Academy 2 Annals of the Japan Association for Philosophy of Science 1 Commentarii Mathematici Universitatis Sancti Pauli 1 Fundamenta Mathematicae 1 Nagoya Mathematical Journal 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Sūgaku Fields 28 Mathematical logic and foundations (03-XX) 1 History and biography (01-XX) Publications by Year all cited Publications top 5 cited Publications 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 all cited Publications top 5 cited Publications all top 5 Cited by 14 Authors 6 Motohashi, Nobuyoshi 1 Arai, Toshiyasu 1 Benedikt, Michael A. 1 Hébert, Michel 1 Kalhoff, Franz B. 1 Kovács, Laura Ildikó 1 Mizutani, Chiharu 1 Otto, Martin 1 Pambuccian, Victor V. 1 Rybakov, Mikhail Nikolaevich 1 ten Cate, Balder David 1 Vanden Boom, Michael 1 Voronkov, Andrei 1 Wernhard, Christoph all top 5 Cited in 10 Serials 4 Proceedings of the Japan Academy 2 The Journal of Symbolic Logic 1 Rocky Mountain Journal of Mathematics 1 Algebra Universalis 1 Nagoya Mathematical Journal 1 Journal of Automated Reasoning 1 Mathematical Logic Quarterly (MLQ) 1 The Bulletin of Symbolic Logic 1 ACM Transactions on Computational Logic 1 Logicheskie Issledovaniya Cited in 4 Fields 13 Mathematical logic and foundations (03-XX) 2 Computer science (68-XX) 1 General algebraic systems (08-XX) 1 Geometry (51-XX) Citations by Year