Cylindric polyadic algebras have the superamalgamation
classification
🧮 math.LO
keywords
algebrascylindricpolyadiccomplexconstructiondualityferenczifinite
read the original abstract
We show that cylindric polyadic algebras introduced by Ferenczi has the superamalgmation property. We give two proofs. One is a Henkin construction, and the other is inspired by duality theory in modal logic between finite zig zag products of Kripke frames and their complex algebras.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.