Free algebras of discriminator varieties generated by finite algebras are atomic

H. Andréka, I. Németi

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 member…