1.  12
    On Interpretability of Almost Linear Orderings.Akito Tsuboi & Kentaro Wakai - 1998 - Notre Dame Journal of Formal Logic 39 (3):325-331.
    In this paper we define the notion of -linearity for and discuss interpretability (and noninterpretability) of -linear orders in structures and theories.
    Direct download (6 more)  
    Export citation  
  2.  54
    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  
  3.  15
    ω‐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