Полурешётки Роджерса конечных частично упорядоченных множеств

Доказана формульная определимость главной подрешётки полурешётки Роджерса конечного частично упорядоченного множества. Для доказательства потребовалось найти обобщение теоремы Денисова о продолжении вложений полурешёток Лахлана на идеалы полурешёток Роджерса.