Free algebras of discriminator varieties generated by finite algebras are atomic

Publication date: 21 February 2016

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.

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Free algebras (08B20) Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

This page was built for publication: Free algebras of discriminator varieties generated by finite algebras are atomic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6270797)