Об одном вопросе Бергстры и Тьюрина

Доказывается, что не всякая алгебра без собственных подалгебр определяется с точностью до изоморфизма семейством $\Pi_1$-формул логики эффективных определений. Это решает проблему Бергстры и Тьюрина, поставленную в их совместной работе (Fund. Comput. Theory, 2, Berlin, 1979, 58–63).