Аннотации:
В статье построен пример вычислимой структуры сигнатуры, состоящей из бесконечного числа бинарных предикатных символов, для которой не существует Σ01-классификации всех одноместных отношений, определимых в указанной структуре Σ01-формулами.