Turing and enumeration jumps in the Ershov hierarchy

dc.contributor.author	Faizrahmanov M.
dc.contributor.author	Kalimullin I.
dc.date.accessioned	2018-09-18T20:11:23Z
dc.date.available	2018-09-18T20:11:23Z
dc.date.issued	2012
dc.identifier.issn	0955-792X
dc.identifier.uri	https://dspace.kpfu.ru/xmlui/handle/net/137404
dc.description.abstract	In the article, we study the behaviour of enumeration jumps of sets of low e-degrees in the Ershov hierarchy. © 2010 The Author. Published by Oxford University Press. All rights reserved.
dc.relation.ispartofseries	Journal of Logic and Computation
dc.subject	constructive ordinals
dc.subject	Enumeration
dc.subject	enumeration jump
dc.subject	enumeration operator
dc.subject	Ershov hierarchy
dc.subject	reducibility
dc.title	Turing and enumeration jumps in the Ershov hierarchy
dc.type	Conference Paper
dc.relation.ispartofseries-issue	4
dc.relation.ispartofseries-volume	22
dc.collection	Публикации сотрудников КФУ
dc.relation.startpage	737
dc.source.id	SCOPUS0955792X-2012-22-4-SID84864741858

Файлы в этом документе

Размер: 43.34Kb

Формат: PDF

Публикации сотрудников КФУ Scopus [24551]
Коллекция содержит публикации сотрудников Казанского федерального (до 2010 года Казанского государственного) университета, проиндексированные в БД Scopus, начиная с 1970г.