On complete representability of Pinters algebras and related structuresReport as inadecuate



 On complete representability of Pinters algebras and related structures


On complete representability of Pinters algebras and related structures - Download this document for free, or read online. Document in PDF available to download.

Download or read this book online for free in PDF: On complete representability of Pinters algebras and related structures
We answer an implicit question of Ian Hodkinsons. We show that atomic Pinters algebras may not be completely representable, however the class of completely representable Pinters algebras is elementary and finitely axiomatizable. We obtain analagous results for infinite dimensions replacing finite axiomatizability by finite schema axiomatizability. We show that the class of subdirect products of set algebras is a canonical variety that is locally finite only for finite dimensions, and has the superamalgamation property; the latter for all dimensions. However, the algebras we deal with are expansions of Pinter algebras with substitutions corresponding to tranpositions. It is true that this makes the a lot of the problems addressed harder, but this is an acet, not a liability. Futhermore, the results for Pinters algebras readily follow by just discarding the substitution operations corresponding to transpostions. Finally, we show that the multi-dimensional modal logic corresponding to finite dimensional algebras have an $NP$-complete satisfiability problem.



Author: Tarek Sayed Ahmed

Source: https://archive.org/







Related documents