Turing jumps in the Ershov hierarchy

dc.contributor.author	Faizrakhmanov M.
dc.date.accessioned	2018-09-18T20:01:12Z
dc.date.available	2018-09-18T20:01:12Z
dc.date.issued	2011
dc.identifier.issn	0002-5232
dc.identifier.uri	https://dspace.kpfu.ru/xmlui/handle/net/135794
dc.description.abstract	We look at infinite levels of the Ershov hierarchy in the natural system of notation, which are proper for jumps of sets. It is proved that proper infinite levels for jumps are confined to δa -1-levels, where a stands for an ordinal ωn > 1. © 2011 Springer Science+Business Media, Inc.
dc.relation.ispartofseries	Algebra and Logic
dc.subject	constructive ordinals
dc.subject	Ershov hierarchy
dc.subject	superlow sets
dc.subject	Turing jumps
dc.title	Turing jumps in the Ershov hierarchy
dc.type	Article
dc.relation.ispartofseries-issue	3
dc.relation.ispartofseries-volume	50
dc.collection	Публикации сотрудников КФУ
dc.relation.startpage	279
dc.source.id	SCOPUS00025232-2011-50-3-SID79961027051

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

Имя: SCOPUS00025232-20 ...

Размер: 44.04Kb

Формат: PDF

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