Ещё несколько примеров неразрешимых теорий
М. А. Тайцлин

Эта публикация цитируется в следующих статьяx:

1. А. И. Кокорин, А. Г. Пинус, “Вопросы разрешимости расширенных теорий”, УМН, 33:2(200) (1978), 49–84      ; A. I. Kokorin, A. G. Pinus, “Decidability problems of extended theories”, Russian Math. Surveys, 33:2 (1978), 53–96