О мощности полурешетки Роджерса в иерархии Ершова. Ершов иерархиясындағы Рожерс жарты торының­ қуаты туралы.

Авторы

  • Мустафа Манат Казахский национальный университет имени аль-Фараби
        59 29

Аннотация

Данная статья показывает, что мы можем легко построить семейство, состоящее из любого заданного числа элементов, такое, что полурешетка Роджерса состоит из одного элемента. Бұл мақаланың­ мақсаты, Рожерс жарты торыны­ң қуаты бiр элементтi болатындай кез келген элементтен тұратын үйiрдi оңай құрастрып алуға болатынын көрсету.

Библиографические ссылки

M.M. Arslanov Ershov hierarchy. Kazan, 2007. In Russian.

S.A. Badaev and T. Talasbaeva Computable numberings in the hierarchy of Ershov.In Proceedings of 9th Asian Logic Conference, Novosibirsk, August 2005, S.Goncharov (Novosibirsk), H.Ono (Tokyo), and R.Downey (Wellington)(eds.). World Scientiˆc Publishers.2006, pp.17–30

L. Ershov A hierarchy of sets, I. Algebra and Logic, 7:47–73, 1968.

L. Ershov A hierarchy of sets, II. Algebra and Logic, 7:15–47, 1968.

L. Ershov A hierarchy of sets, III. Algebra and Logic, 9:34–51, 1970.

L. Ershov Theory of Numberings. Nauka, Moscow, 1977. In Russian.

S. Goncharov and A. Sorbi Generalized computable numerations and non-trivial Rogers semilattices. Algebra and Logic, 36(6):359–369, 1997.

S. Ospichev Computable family of

Загрузки

Как цитировать

Манат, М. (2011). О мощности полурешетки Роджерса в иерархии Ершова. Ершов иерархиясындағы Рожерс жарты торының­ қуаты туралы. Вестник КазНУ. Серия математика, механика, информатика, 71(4), 8–12. извлечено от https://bm.kaznu.kz/index.php/kaznu/article/view/214