RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 2019, том 16, страницы 1927–1936 (Mi semr1179)

Математическая логика, алгебра и теория чисел

Решеточные свойства полурешеток Роджерса вычислимых и обобщенно вычислимых семейств

М. Х. Файзрахманов

Kazan (Volga Region) Federal University, 18, Kremlyovskaya str., Kazan, 420008, Russia

Аннотация: We consider the distributivity property and the property of being a lattice of Rogers semilattices of generalized computable families. We prove that the Rogers semilattice of any nontrivial $A$-computable family is not a lattice for every non-computable set $A$. It is also proved that if a set $A$ is non-computable then the Rogers semilattice of any infinite $A$-computable family is not weakly distribuive. Furtermore, we find two infinite computable families with nontrivial distributive and properly weakly distributive nontrivial Rogers semilattices.

Ключевые слова: computable enumeration, generalized computable enumeration, $A$-computable enumeration, Rogers semilattice.

УДК: 510.5

MSC: 03D45

Поступила 12 августа 2019 г., опубликована 18 декабря 2019 г.

DOI: 10.33048/semi.2019.16.138



Реферативные базы данных:


© МИАН, 2024