RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 2017 Volume 58, Number 6, Pages 1236–1251 (Mi smj2934)

This article is cited in 4 papers

Computability of distributive lattices

N. A. Bazhenovab, A. N. Frolovc, I. Sh. Kalimullinc, A. G. Melnikovd

a Sobolev Institute of Mathematics, Novosibirsk, Russia
b Novosibirsk State University, Novosibirsk, Russia
c Kazan (Volga Region) Federal University, Kazan, Russia
d The Institute of Natural and Mathematical Sciences, Massey University, Massey, New Zealand

Abstract: The class of (not necessarily distributive) countable lattices is HKSS-universal, and it is also known that the class of countable linear orders is not universal with respect to degree spectra neither to computable categoricity. We investigate the intermediate class of distributive lattices and construct a distributive lattice with degree spectrum $\{\mathbf d\colon\mathbf d\neq\mathbf0\}$. It is not known whether a linear order with this property exists. We show that there is a computably categorical distributive lattice that is not relatively $\Delta^0_2$-categorical. It is well known that no linear order can have this property. The question of the universality of countable distributive lattices remains open.

Keywords: distributive lattice, computable structure, degree spectrum, computable categoricity.

UDC: 510.5+512.565.2

MSC: 35R30

Received: 27.11.2016

DOI: 10.17377/smzh.2017.58.605


 English version:
Siberian Mathematical Journal, 2017, 58:6, 959–970

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024