Completely representable neat reducts

2020/01/28 by Ahmed, Tarek Sayed
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2003.03245

Abstract

For an ordinal α, \sf PEA_α denotes the class of polyadic equality algebras of dimension α. We show that for several classes of algebras that are reducts of \PEA_ω whose signature contains all substitutions and finite cylindrifiers, if \B is in such a class, and \B is atomic, then for all n

Related

• A polyadic algebra of infinite dimension is completely representable if and only if it is atomic and completely additive
• For finite n≥ 3, and k≥ 4, the variety SNr_n\CA_n+k is not atom canonical
• The representations of polyadic-like equality algebras
• Strongly representable atom structures
• Atomic polyadic algebras of infinite dimension are completely representable