Switch to: References

Add citations

You must login to add citations.
  1. On the Boolean algebras of definable sets in weakly o‐minimal theories.Stefano Leonesi & Carlo Toffalori - 2004 - Mathematical Logic Quarterly 50 (3):241-248.
    We consider the sets definable in the countable models of a weakly o-minimal theory T of totally ordered structures. We investigate under which conditions their Boolean algebras are isomorphic , in other words when each of these definable sets admits, if infinite, an infinite coinfinite definable subset. We show that this is true if and only if T has no infinite definable discrete subset. We examine the same problem among arbitrary theories of mere linear orders. Finally we prove that, within (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Weak elimination of imaginaries for Boolean algebras.Roman Wencel - 2005 - Annals of Pure and Applied Logic 132 (2-3):247-270.
    We give a complete characterization of Boolean algebras admitting weak elimination of imaginaries in terms of elementary invariants.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Imaginaries in Boolean algebras.Roman Wencel - 2012 - Mathematical Logic Quarterly 58 (3):217-235.
    Given an infinite Boolean algebra B, we find a natural class of equation image-definable equivalence relations equation image such that every imaginary element from Beq is interdefinable with an element from a sort determined by some equivalence relation from equation image. It follows that B together with the family of sorts determined by equation image admits elimination of imaginaries in a suitable multisorted language. The paper generalizes author's earlier results concerning definable equivalence relations and weak elimination of imaginaries for Boolean (...)
    Download  
     
    Export citation  
     
    Bookmark