On Cylindric Algebras Satisfying Merry-go-round Properties
M. Ferenczi · Logic Journal of IGPL · 2007
Three classes are introduced which are closely related to the class CAα+ included in the title. It is proven that the class Fα obtained from CAα+ by replacing axiom C4 by the commutativity of single substitutions can be considered as the abstract class in the Resek–Thompson theorem, thus it is representable by set algebras. Then the class Fα+ɛα is defined and it is shown that the necessary and sufficient condition for neat embeddability of an algebra in CAα into Fα+ɛα is the validity of the merry-go-round properties. Finally, the class QPEAα- is introduced which class is a counterpart of CAα+ among the polyadic like algebras.