DSpace Repository

Operator on types of numberings

Show simple item record

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


Files in this item

This item appears in the following Collection(s)

Show simple item record

Video Guide

Submission guideSubmission guide

Submit your materials for publication to

NU Repository Drive

Browse

My Account

Statistics