Low linear orderings

dc.contributor.author	Frolov A.
dc.date.accessioned	2018-09-18T20:11:24Z
dc.date.available	2018-09-18T20:11:24Z
dc.date.issued	2012
dc.identifier.issn	0955-792X
dc.identifier.uri	https://dspace.kpfu.ru/xmlui/handle/net/137407
dc.description.abstract	We say that L is weakly η-like if L/∼ is isomorphic to the natural ordering of rational numbers. We construct a computable presentation of any low weakly η-like linear ordering with no strongly η-like interval. Also we prove that there exists a noncomputably presentable low2 weakly η-like linear ordering with no strongly η-like interval. © ; 2010 The Author. Published by Oxford University Press. All rights reserved.
dc.relation.ispartofseries	Journal of Logic and Computation
dc.subject	Computability
dc.subject	computable presentations
dc.subject	linear ordering
dc.title	Low linear orderings
dc.type	Conference Paper
dc.relation.ispartofseries-issue	4
dc.relation.ispartofseries-volume	22
dc.collection	Публикации сотрудников КФУ
dc.relation.startpage	745
dc.source.id	SCOPUS0955792X-2012-22-4-SID84864765269

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

Размер: 44.01Kb

Формат: PDF

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