On amalgamation of reducts of polyadic algebras (Q2583600)

For each \(G \subseteq \omega ^\omega\), polyadic \(G\)-algebras are obtained by restricting the (similarity type and) axiomatization of \(\omega\)-dimensional polyadic algebras to finite quantifiers and substitutions in \(G\). The main result of the paper states that for certain \(G\)s (in particular, countable and rich, satisfying an extra ``finitary'' condition) the class of \(G\)-algebras has the strong amalgamation property. As a consequence of this result the author obtains that the logical system \(\text{KL}_G\), corresponding to this class of \(G\)-algebras, has Craig's interpolation property, Beth's definability theorem, and Robinson's joint consistency property.