Please use this identifier to cite or link to this item:
https://elib.utmn.ru/jspui/handle/ru-tsu/30961
Title: | О верхних полурешетках е-степеней вычислимых нумераций |
Other Titles: | On the upper semilattices of e-degrees of computable numbering |
Authors: | Платонов, М. Л. Platonov, M. L. |
Keywords: | теория нумераций the theory of numbering |
Issue Date: | 2006 |
Publisher: | Издательство Тюменского государственного университета |
Citation: | Платонов, М. Л. О верхних полурешетках е-степеней вычислимых нумераций / М. Л. Платонов. — Текст : электронный // Вестник Тюменского государственного университета. — 2006. — № 5. — С. 160–162. |
Abstract: | Доказано, что верхняя полурешетка K рекурсивно перечислимых степеней неразрешимости изоморфна некоторой подрешетке ζ полурешетки e-степеней вычислимых нумераций семейства всех рекурсивно перечислимых множеств. Proved, that the upper semilattes recursively enumerable degrees of insolubility K is isomorphic some sub lattes ζ e-degrees of the computable numeration's of all recursively innumerable sets. |
URI: | https://elib.utmn.ru/jspui/handle/ru-tsu/30961 |
ISSN: | 1562-2983 |
Source: | Вестник Тюменского государственного университета. — 2006. — № 5 |
Appears in Collections: | Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.