@inbook{2f37419e7d914611bb350ef95f238150,
title = "Computable Isomorphisms of Distributive Lattices",
abstract = "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 Δ0α isomorphism for computable distributive lattices is Σ0α+2 complete. We obtain similar results for Heyting algebras, undirected graphs, and uniformly discrete metric spaces.",
author = "Nikolay Bazhenov and Manat Mustafa and Mars Yamaleev",
year = "2019",
month = mar,
day = "6",
language = "English",
isbn = "978-3-030-14811-9",
volume = "11436",
series = "Lecture Notes in Computer Science, vol 11436. Springer, Cham",
publisher = "Springer International Publishing",
pages = "28--41",
editor = "Gopal, {T V } and Junzo Watada",
booktitle = "Theory and Applications of Models of Computation",
edition = "1",
}