Kazan Federal University Digital Repository

Computable isomorphisms of distributive lattices

Show simple item record

dc.contributor.author Bazhenov N.
dc.contributor.author Mustafa M.
dc.contributor.author Yamaleev M.
dc.date.accessioned 2020-01-15T21:18:03Z
dc.date.available 2020-01-15T21:18:03Z
dc.date.issued 2019
dc.identifier.issn 0302-9743
dc.identifier.uri https://dspace.kpfu.ru/xmlui/handle/net/155599
dc.description.abstract © Springer Nature Switzerland AG 2019. A standard tool for the classifying computability-theoretic complexity of equivalence relations is provided by computable reducibility. This gives rise to a rich degree-structure which has been extensively studied in the literature. In this paper, we show that equivalence relations, which are complete for computable reducibility in various levels of the hyperarithmetical hierarchy, arise in a natural way in computable structure theory. We prove that for any computable successor ordinal α, the relation of (formula presented) isomorphism for computable distributive lattices is (formula presented) complete. We obtain similar results for Heyting algebras, undirected graphs, and uniformly discrete metric spaces.
dc.relation.ispartofseries Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.subject Computable categoricity
dc.subject Computable metric space
dc.subject Computable reducibility
dc.subject Distributive lattice
dc.subject Equivalence relation
dc.subject Heyting algebra
dc.title Computable isomorphisms of distributive lattices
dc.type Conference Paper
dc.relation.ispartofseries-volume 11436 LNCS
dc.collection Публикации сотрудников КФУ
dc.relation.startpage 28
dc.source.id SCOPUS03029743-2019-11436-SID85064865052


Files in this item

This item appears in the following Collection(s)

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

Show simple item record

Search DSpace


Advanced Search

Browse

My Account

Statistics