Switch to: References

Add citations

You must login to add citations.
  1. 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 (...)
    Direct download (3 more)  
    Export citation