Completely representable neat reducts

Abstract: For an ordinal

a l p h a

,

s f P E A_{a l p h a}

denotes the class of polyadic equality algebras of dimension

a l p h a

. We show that for several classes of algebras that are reducts of

P E A_{o m e g a}

whose signature contains all substitutions and finite cylindrifiers, if

B

is in such a class, and

B

is atomic, then for all

n < o m e g a

,

N r_{n} B

is completely representable as a

P E A_{n}

. Conversely, we show that for any

2 < n < o m e g a

, and any variety

s f V

, between diagonal free cylindric algebras and quasipolyadic equality algebras of dimension

n

, the class of completely representable algebras in

s f V

is not elementary.

This page was built for publication: Completely representable neat reducts