Точные нижние грани сигнализирующих перечисления множеств

Показано, что свойство бесконечного рекурсивно перечислимого множества иметь точную нижнюю грань определяется положением некоторого вспомогательного множества в арифметической иерархии. Установлено, что все бесконечные неускоряемые множества имеют точные нижние грани. Библ. 7 назв.