Non-maximal decidable structures

Для всякой бесконечной структуры $\mathfrak M$ с разрешимой теорией первого порядка мы приводим достаточное условие, сформулированное в терминах графа Гайфмана структуры $\mathfrak M$, гарантирующее, что $\mathfrak M$ может быть так расширена некоторым не выразимым в $\mathfrak M$ предикатом, что теория первого порядка получившегося расширения все еще остается разрешимой. Библ. – 10 назв.