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 |