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.