Неразрешимость элементарных теорий полурешеток Роджерса на предельных уровнях арифметической иерархии

Abstract

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