The superamalgamation property for reducts of Heyting polyadic algebras with and without equality

2013/04/02 by Ahmed, Tarek Sayed
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1304.0707

Abstract

We show that several reducts of Heyting polyadic algebras of infinite dimension, with and without equality enjoy various amalgamation properties. In the equality free case we obtain superamalgamation, but when we have equality we obtain a weaker interpolation property, for the corresponding infinitary intuitionistic logic with equality.

Related

• Polyadic-like algebras without the amalgamation property
• Completeness and interpolation for intuitionistic infinitary predicate logic, in connection to finitizing the class of representable Heyting polyadic algebras
• Characterizing amalgmation bases for relation, cylindric and polyadic\n algebras
• Cylindric polyadic algebras have the superamalgamation
• Cylindric and polyadic algebras, new perspectives