arXiv Analytics

Sign in

arXiv:1602.07583 [math.LO]AbstractReferencesReviewsResources

Free algebras of discriminator varieties generated by finite algebras are atomic

H. Andréka, I. Németi

Published 2016-02-21Version 1

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.

Categories: math.LO
Subjects: 03C05, 08B20, 08B05, 06E25, 03G15
Related articles: Most relevant | Search more
arXiv:1910.00689 [math.LO] (Published 2019-10-01)
Algebras from Congruences
arXiv:1407.0175 [math.LO] (Published 2014-07-01, updated 2014-08-20)
On structural completeness vs almost structural completeness problem: A discriminator varieties case study
arXiv:1512.03127 [math.LO] (Published 2015-12-10)
Flexible constraint satisfiability and a problem in semigroup theory

Links

Toolbox