Switch to: References

Add citations

You must login to add citations.
  1. Notions of density that imply representability in algebraic logic.Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi & András Simon - 1998 - Annals of Pure and Applied Logic 91 (2-3):93-190.
    Henkin and Tarski proved that an atomic cylindric algebra in which every atom is a rectangle must be representable . This theorem and its analogues for quasi-polyadic algebras with and without equality are formulated in Henkin, Monk and Tarski [13]. We introduce a natural and more general notion of rectangular density that can be applied to arbitrary cylindric and quasi-polyadic algebras, not just atomic ones. We then show that every rectangularly dense cylindric algebra is representable, and we extend this result (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • An autobiography of polyadic algebras.Paul R. Halmos - 2000 - Logic Journal of the IGPL 8 (4):383-392.
    Download  
     
    Export citation  
     
    Bookmark   4 citations