On Cylindric Algebras Satisfying Merry-go-round Properties

DOI10.1093/jigpal/jzm006zbMath1158.03038OpenAlexW2043153846MaRDI QIDQ5435202

Miklós Ferenczi

Publication date: 14 January 2008

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzm006

zbMATH Keywords

cylindric algebrascylindric relativized set algebrasmerry-go-round identitiesResek-Thompson Theorem

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

Quasi-polyadic algebras and their dual position ⋮ On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras ⋮ Finitary polyadic algebras from cylindric algebras ⋮ Neat embeddings as adjoint situations ⋮ On the definition and the representability of quasi-polyadic equality algebras ⋮ Existence of partial transposition means representability in cylindric algebras ⋮ A note on substitutions in representable cylindric algebras ⋮ The polyadic generalization of the Boolean axiomatization of fields of sets ⋮ Epimorphisms in cylindric algebras and definability in finite variable logic