А.Лахлан [1] дал описание главных идеалов верхней полурешётки 1РШ т-степеней вычислимо перечислимых множеств, введя класс полурешёток, которые в настоящее время называются полурешётками Лахлана, В [2] начато изучение полурешёток (классов эквивалентности) всех вычислимых нумераций фиксированного конечного семейства вычислимо перечислимых множеств. Оказалось, что строение таких полурешёток зависит только от отношения включения на этом семействе. Это приводит к определению понятия полурешётки Роджерса конечного частично упорядоченного множества [3].
展开▼