TY - RPRT TI - Free algebras of discriminator varieties generated by finite algebras are atomic AU - H. Andréka AU - I. Németi PY - 2016 UR - https://arxiv.org/abs/1602.07583 ID - 1602.07583 ER -