Free algebras of discriminator varieties generated by finite algebras are atomic

Publication date 21 February 2016

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)

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.

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)