Sibirskii Matematicheskii Zhurnal
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Sibirsk. Mat. Zh.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Sibirskii Matematicheskii Zhurnal, 2017, Volume 58, Number 6, Pages 1236–1251
DOI: https://doi.org/10.17377/smzh.2017.58.605
(Mi smj2934)
 

This article is cited in 4 scientific papers (total 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
Full-text PDF (370 kB) Citations (4)
References:
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.
Funding agency Grant number
Russian Foundation for Basic Research 16-31-60058-мол_а_дк
16-31-60077-мол_а_дк
15-41-02507
Ministry of Education and Science of the Russian Federation 1.451.2016/1.4
Marsden Fund of New Zealand
Massey University Early Career Research Fund
N. A. Bazhenov was supported by the Russian Foundation for Basic Research (Grant 16-31-60058-mol_a_dk). A. N. Frolov was supported by the Russian Foundation for Basic Research (Grant 16-31-60077-mol_a_dk). I. Sh. Kalimullin was supported by the Russian Foundation for Basic Research (Grant 15-41-02507) and the Ministry of Education and Science of the Russian Federation (Grant 1.451.2016/1.4). A. G. Melnikov was partially supported by the Marsden Fund of New Zealand and the Massey University Early Career Research Fund.
Received: 27.11.2016
English version:
Siberian Mathematical Journal, 2017, Volume 58, Issue 6, Pages 959–970
DOI: https://doi.org/10.1134/S0037446617060052
Bibliographic databases:
Document Type: Article
UDC: 510.5+512.565.2
MSC: 35R30
Language: Russian
Citation: N. A. Bazhenov, A. N. Frolov, I. Sh. Kalimullin, A. G. Melnikov, “Computability of distributive lattices”, Sibirsk. Mat. Zh., 58:6 (2017), 1236–1251; Siberian Math. J., 58:6 (2017), 959–970
Citation in format AMSBIB
\Bibitem{BazFroKal17}
\by N.~A.~Bazhenov, A.~N.~Frolov, I.~Sh.~Kalimullin, A.~G.~Melnikov
\paper Computability of distributive lattices
\jour Sibirsk. Mat. Zh.
\yr 2017
\vol 58
\issue 6
\pages 1236--1251
\mathnet{http://mi.mathnet.ru/smj2934}
\crossref{https://doi.org/10.17377/smzh.2017.58.605}
\elib{https://elibrary.ru/item.asp?id=30556271}
\transl
\jour Siberian Math. J.
\yr 2017
\vol 58
\issue 6
\pages 959--970
\crossref{https://doi.org/10.1134/S0037446617060052}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000425153500005}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85042141013}
Linking options:
  • https://www.mathnet.ru/eng/smj2934
  • https://www.mathnet.ru/eng/smj/v58/i6/p1236
  • This publication is cited in the following 4 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Сибирский математический журнал Siberian Mathematical Journal
    Statistics & downloads:
    Abstract page:262
    Full-text PDF :57
    References:41
    First page:9
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024