Switch to: References

Add citations

You must login to add citations.
  1. The Elementary Diagram of a Trivial, Weakly Minimal Structure is Near Model Complete.Michael C. Laskowski - 2009 - Archive for Mathematical Logic 48 (1):15-24.
    We prove that if M is any model of a trivial, weakly minimal theory, then the elementary diagram T(M) eliminates quantifiers down to Boolean combinations of certain existential formulas.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Mutually Algebraic Structures and Expansions by Predicates.Michael C. Laskowski - 2013 - Journal of Symbolic Logic 78 (1):185-194.
    We introduce the notions of a mutually algebraic structures and theories and prove many equivalents. A theory $T$ is mutually algebraic if and only if it is weakly minimal and trivial if and only if no model $M$ of $T$ has an expansion $(M,A)$ by a unary predicate with the finite cover property. We show that every structure has a maximal mutually algebraic reduct, and give a strong structure theorem for the class of elementary extensions of a fixed mutually algebraic (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Preface.Douglas Cenzer, Valentina Harizanov, David Marker & Carol Wood - 2009 - Archive for Mathematical Logic 48 (1):1-6.