Operator on types of numberings

Система будет остановлена для регулярного обслуживания. Пожалуйста, сохраните рабочие данные и выйдите из системы.

dc.contributor.author	Mustafa, M.
dc.date.accessioned	2015-11-02T10:36:36Z
dc.date.available	2015-11-02T10:36:36Z
dc.date.issued	2014
dc.identifier.isbn	9786018046728
dc.identifier.uri	http://nur.nu.edu.kz/handle/123456789/664
dc.description.abstract	The reductions constructed permit to give various alternative proofs to known results about d.r.e. and, in general,a-r.e. numberings. For example, one can show that for every recursive ordinal a which is not an w-power and every Rogers semilattice of r.e. sets, the corresponding semilattice is also realized within the a-r.e. numberings.	ru_RU
dc.language.iso	en	ru_RU
dc.publisher	Nazarbayev University	ru_RU
dc.subject	numberings	ru_RU
dc.subject	types	ru_RU
dc.subject	semilattices	ru_RU
dc.subject	constructed permit	ru_RU
dc.subject	elements	ru_RU
dc.title	Operator on types of numberings	ru_RU
dc.type	Abstract	ru_RU