Гончаров, Сергей Савостьянович; Когабаев, Нурлан Талгатович
(Новосибирский государственный университет, 2008)
В статье построен пример вычислимой структуры сигнатуры, состоящей из бесконечного числа бинарных предикатных символов, для которой не существует Σ01-классификации всех одноместных отношений, определимых в указанной структуре ...