Free algebras of discriminator varieties generated by finite algebras are atomic

Abstract

We prove that all definable pre-orders are atomic, in a finitely generated free algebra of a discriminator variety of finite similarity type which is generated by its finite members.

References in corpus (1)

• Weak Godel's incompleteness property for some decidable versions of the calculus of relations