PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE

摘要

Profinite algebras are exactly those that are isomorphic to inverse limits of finite algebras. Such algebras are naturally equipped with Boolean topologies. A variety V is standard if every Boolean topological algebra with the algebraic reduct in V is profinite.