SU\G(𝔸)/K·U

Nobuyoshi Motoháshi

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996 1997 Yuzuru Kakuda
Kanji Namba
Nobuyoshi Motoháshi
+ A normal form theorem for first order formulas and its application to Gaifman's splitting theorem 1984 Nobuyoshi Motoháshi
+ A normal form theorem for first order formulas and its application to Gaifman's splitting theorem(LOGIC AND THE FOUNDATIONS OF MATHEMATICS) 1984 Nobuyoshi Motoháshi
+ PDF Chat Approximation theory of uniqueness conditions by existence conditions 1984 Nobuyoshi Motoháshi
+ A remark on Africk's paper on Scott's interpolation theorem for L ω1ω 1979 Nobuyoshi Motoháshi
+ Partially ordered interpretations 1977 Nobuyoshi Motoháshi
+ PDF Chat Some proof theoretic-properties of dense linear orderings and countable well-orderings 1975 Nobuyoshi Motoháshi
+ PDF Chat Two theorems on mix-relativization 1973 Nobuyoshi Motoháshi
+ PDF Chat A note on Schütte's interpolation theorem 1972 Nobuyoshi Motoháshi
+ PDF Chat A theorem in the theory of definition 1970 Nobuyoshi Motoháshi
+ PDF Chat On normal operations on models 1969 Nobuyoshi Motoháshi
Common Coauthors
Coauthor Papers Together
Kanji Namba 1
Yuzuru Kakuda 1
Commonly Cited References
Action Title Year Authors # of times referenced
+ Lectures on proof theory 1968 Solomon Feferman
 1
+ PDF Chat Weakly normal ideals ou PKl and the singular cardinal hypothesis 1993 Yoshihiro Abe
 1
+ Nonstandard analysis of linear canonical transformations on a fermion Fock space with an indefinite metric 1991 Shigeaki Nagamachi
Takeshi Nishimura
 1
+ PDF Chat Ideals on $\omega$ which are obtained from Hausdorff-gaps 1991 Shizuo Kamo
 1
+ PDF Chat The minimal normal 𝜇-complete filter on 𝑃_{𝜅}𝜆 1995 Masahiro Shioya
 1
+ Well-ordering of algebras and Kruskal's theorem 2005 Ryu Hasegawa
 1
+ Nonstandard representations of generalized sections of vector bundles 1995 Hiroshi Akiyama
 1
+ A logical aspect of parametric polymorphism 1996 Ryu Hasegawa
 1
+ The stationarity preserving part of a complete boolean algebra 1993 Joji Takahashi
 1
+ PDF Chat Conversion from nonstandard matrix algebras to standard factors of type $\mathrm{II}_{1}$ 1993 Takanori Hinokuma
Masanao Ozawa
 1
+ PDF Chat Arithmetization of metamathematics in a general setting 1960 Solomon Feferman
 1
+ PDF Chat A factor of singular homology 1991 Katsuya Eda
Katsuro Sakai
 1
+ PDF Chat Unitary representations of the hyperfinite Heisenberg group and the logical extension methods in physics 1993 Izumi Ojima
Masanao Ozawa
 1
+ PDF Chat Minimal models of minimal theories 1993 Koichiro Ikeda
 1
+ PDF Chat A metatheory of nonstandard analysis 1993 Takakazu Mori
Yoshiki Tsujii
Mariko Yasugi
 1
+ ON DEFINABILITY OF NORMAL SUBGROUPS OF A SUPERSTABLE GROUP 1992 Akito Tsuboi
 1
+ Arithmetically independent integers and values of rational functions 1994 Masahiro Yasumoto
 1
+ PDF Chat Strongly nonmultidimensional theories 1991 Hirotaka Kikyo
 1
+ PDF Chat An interpolation theorem in the predicate calculus 1959 Roger C. Lyndon
 1
+ A second order version of <i>S</i><sub>2</sub><sup><i>i</i></sup> and <i>U</i><sub>2</sub><sup>1</sup> 1991 Gaisi Takeuti
 1
+ Forcing in nonstandard analysis 1994 Masanao Ozawa
 1
+ Nonstandard arithmetic of Hilbert subsets 1991 Masahiro Yasumoto
 1
+ Weak axioms of determinacy and subsystems of analysis II (∑02 games) 1991 Kazuyuki Tanaka
 1
+ Adding a Cohen real adds an entangled linear order 1993 Yoshifumi Yuasa
 1
+ PDF Chat Two theorems on mix-relativization 1973 Nobuyoshi Motoháshi
 1
+ Almost Total Elementary Maps 1995 Koichiro Ikeda
Akito Tsuboi
 1
+ The theory of Boolean ultrapowers 1971 Richard Mansfield
 1
+ Separations of theories in weak bounded arithmetic 1995 Gaisi Takeuti
 1
+ PDF Chat Almost coinciding families and gaps in P(ω) 1993 Shizuo Kamo
 1
+ The critical number of a variable in a function 1994 Gaisi Takeuti
 1
+ Infinitary J�nsson functions and elementary embeddings 1994 Masahiro Shioya
 1
+ A GAME-THEORETIC PROOF OF ANALYTIC RAMSEY THEOREM 1992 Kazuyuki Tanaka
 1
+ On reduction properties 1994 Hirotaka Kikyo
Akito Tsuboi
 1
+ On L∞κ-free Boolean algebras 1992 Sakaé Fuchino
Sabine Koppelberg
Makoto Takahashi
 1
+ A two decomposition of a bounded metric space 1991 Kazuaki Kitahara
Katsumi Tanaka
 1
+ Some applications of infinitely long formulas 1965 H. Jerome Keisler
 1
+ Strong polynomial-time reducibility 1997 Juichi Shinoda
 1
+ PDF Chat On Formalization of Model-Theoretic Proofs of Gödel's Theorems 1994 Makoto Kikuchi
Kazuyuki Tanaka
 1
+ PDF Chat On normal operations on models 1969 Nobuyoshi Motoháshi
 1
+ PDF Chat Ineffability and partition property on Pκλ 1997 Shizuo Kamo
 1
+ Saturated ideals and the singular cardinal hypothesis 1992 Yo Matsubara
 1
+ PDF Chat Reduced products and Horn classes 1965 H. Jerome Keisler
 1
+ Abelian groups of continuous functions and their duals 1993 Katsuya Eda
Shizuo Kamo
Haruto Ohta
 1
+ Cardinal invariants about shrinkability of unbounded sets 1996 Masaru Kada
Yoshifumi Yuasa
 1
+ On the Strong Martin Conjecture 1991 Masanori Itai
 1
+ DIOPHANTINE REPRESENTATION OF ENUMERABLE PREDICATES 1971 Ju. V. Matijasevič
 1
+ On Theories Having Three Countable Models 1998 Koichiro Ikeda
Akito Tsuboi
Anand Pillay
 1
+ Every n-generic degree is a minimal cover of an n-generic degree 1993 Masahiro Kumabe
 1
+ On a generalization of a theorem of E. W. Beth 1964 Michael Makkai
 1
+ A nonstandard representation of Feynman’s path integrals 1991 Touru Nakamura
 1