6 found
Order:
  1.  76
    K‐generic Projective Planes have Morley Rank Two or Infinity.John T. Baldwin & Masanori Itai - 1994 - Mathematical Logic Quarterly 40 (2):143-152.
    We show that K-generic projective planes have Morley rank either two or infinity. We also show give a direct argument that such planes are not Desarguesian.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  2. On the Strong Martin Conjecture.Masanori Itai - 1991 - Journal of Symbolic Logic 56 (3):862-875.
    We study the following conjecture. Conjecture. Let $T$ be an $\omega$-stable theory with continuum many countable models. Then either i) $T$ has continuum many complete extensions in $L_1$, or ii) some complete extension of $T$ in $L_1$ has continuum many $L_1$-types without parameters. By Shelah's proof of Vaught's conjecture for $\omega$-stable theories, we know that there are seven types of $\omega$-stable theory with continuum many countable models. We show that the conjecture is true for all but one of these seven (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3. E-mail: marat@ niimm. kazan. su.John T. Baldwin & Masanori Itai - 1995 - Bulletin of Symbolic Logic 1 (1).
     
    Export citation  
     
    Bookmark  
  4.  99
    Construction of saturated quasi-minimal structure.Masanori Itai, Akito Tsuboi & Kentaro Wakai - 2004 - Journal of Symbolic Logic 69 (1):9-22.
    The notion of quasi-minimal structures was defined by B. Zil'ber as a natural generalization of minimal structures. Inspired by his work, we study here basic model theoretic properties of quasiminimal structures. Main result is the construction of ω-saturated quasi-minimal models under ω-stability assumption.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  11
    Jōhō riron no tame no sūri ronrigaku =.Masanori Itai - 2017 - Tōkyō-to Bunkyō-ku: Kyōritsu Shuppan.
    数理論理学の基本となる命題・述語論理から、チューリング機械・形式手法・ブール代数といった「少し先」の内容までを丁寧に解説。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  40
    ω‐saturated quasi‐minimal models of Th (ℚω,+, σ, 0).Masanori Itai & Kentaro Wakai - 2005 - Mathematical Logic Quarterly 51 (3):258-262.
    We show that is a quasi-minimal torsion-free divisible abelian group. After discussing the axiomatization of the theory of this structure, we present its ω-saturated quasi-minimal model.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark