Back to Search Start Over

Polyadic-like algebras without the amalgamation property

Authors :
Ahmed, Tarek Sayed
Publication Year :
2013

Abstract

Usually when we have polyadic-like algebras, meaning that we have infinitary substitutions (that is substitutions moving infinitely many points) in the similarity type, then we get the superamalgamation property especially if this class of algebras happen to be a variety. This for example happens for (full) polyadic algebras, full Heyting algebras and reducts of those using only finitely many infinitary substitutions, like Sains Boolean and Heyting algebras. (The last is studied by Sayed Ahmed) . In cylindric-like algebras (like quasi-polyadic algebras) when we do not have infinitary substitutions, we do not get even the amalgamation property . In this paper, we give an example of a polyadic like variety (we have infinitary substitutions, in fact infinitely many of them) for which the amalgamation property fails.<br />Comment: arXiv admin note: text overlap with arXiv:1303.7386

Subjects

Subjects :
Mathematics - Logic

Details

Database :
arXiv
Publication Type :
Report
Accession number :
edsarx.1304.1429
Document Type :
Working Paper