Open questions related to the problem of Birkhoff and Maltsev

M. E. Adams, K. V. Adaricheva, W. Dziobiak, A. V. Kravchenko

Research output: Contribution to journalArticle

19 Citations (Scopus)

Abstract

The Birkhoff-Maltsev problem asks for a characterization of those lattices each of which is isomorphic to the lattice L(K) of all subquasivarieties for some quasivariety K of algebraic systems. The current status of this problem, which is still open, is discussed. Various unsolved questions that are related to the Birkhoff-Maltsev problem are also considered, including ones that stem from the theory of propositional logics.

Original languageEnglish
Pages (from-to)357-378
Number of pages22
JournalStudia Logica
Volume78
Issue number1-2
Publication statusPublished - 2004
Externally publishedYes

Fingerprint

Quasivariety
Propositional Logic
Isomorphic
Algebra

Keywords

  • Graph
  • Independent basis
  • Join-semidistributive
  • Q-lattice
  • Q-universality
  • Quasivariety

ASJC Scopus subject areas

  • Logic

Cite this

Adams, M. E., Adaricheva, K. V., Dziobiak, W., & Kravchenko, A. V. (2004). Open questions related to the problem of Birkhoff and Maltsev. Studia Logica, 78(1-2), 357-378.

Open questions related to the problem of Birkhoff and Maltsev. / Adams, M. E.; Adaricheva, K. V.; Dziobiak, W.; Kravchenko, A. V.

In: Studia Logica, Vol. 78, No. 1-2, 2004, p. 357-378.

Research output: Contribution to journalArticle

Adams, ME, Adaricheva, KV, Dziobiak, W & Kravchenko, AV 2004, 'Open questions related to the problem of Birkhoff and Maltsev', Studia Logica, vol. 78, no. 1-2, pp. 357-378.
Adams ME, Adaricheva KV, Dziobiak W, Kravchenko AV. Open questions related to the problem of Birkhoff and Maltsev. Studia Logica. 2004;78(1-2):357-378.
Adams, M. E. ; Adaricheva, K. V. ; Dziobiak, W. ; Kravchenko, A. V. / Open questions related to the problem of Birkhoff and Maltsev. In: Studia Logica. 2004 ; Vol. 78, No. 1-2. pp. 357-378.
@article{71905044216342ac8f1b266d6eea709f,
title = "Open questions related to the problem of Birkhoff and Maltsev",
abstract = "The Birkhoff-Maltsev problem asks for a characterization of those lattices each of which is isomorphic to the lattice L(K) of all subquasivarieties for some quasivariety K of algebraic systems. The current status of this problem, which is still open, is discussed. Various unsolved questions that are related to the Birkhoff-Maltsev problem are also considered, including ones that stem from the theory of propositional logics.",
keywords = "Graph, Independent basis, Join-semidistributive, Q-lattice, Q-universality, Quasivariety",
author = "Adams, {M. E.} and Adaricheva, {K. V.} and W. Dziobiak and Kravchenko, {A. V.}",
year = "2004",
language = "English",
volume = "78",
pages = "357--378",
journal = "Studia Logica",
issn = "0039-3215",
publisher = "Springer Netherlands",
number = "1-2",

}

TY - JOUR

T1 - Open questions related to the problem of Birkhoff and Maltsev

AU - Adams, M. E.

AU - Adaricheva, K. V.

AU - Dziobiak, W.

AU - Kravchenko, A. V.

PY - 2004

Y1 - 2004

N2 - The Birkhoff-Maltsev problem asks for a characterization of those lattices each of which is isomorphic to the lattice L(K) of all subquasivarieties for some quasivariety K of algebraic systems. The current status of this problem, which is still open, is discussed. Various unsolved questions that are related to the Birkhoff-Maltsev problem are also considered, including ones that stem from the theory of propositional logics.

AB - The Birkhoff-Maltsev problem asks for a characterization of those lattices each of which is isomorphic to the lattice L(K) of all subquasivarieties for some quasivariety K of algebraic systems. The current status of this problem, which is still open, is discussed. Various unsolved questions that are related to the Birkhoff-Maltsev problem are also considered, including ones that stem from the theory of propositional logics.

KW - Graph

KW - Independent basis

KW - Join-semidistributive

KW - Q-lattice

KW - Q-universality

KW - Quasivariety

UR - http://www.scopus.com/inward/record.url?scp=33746128398&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33746128398&partnerID=8YFLogxK

M3 - Article

VL - 78

SP - 357

EP - 378

JO - Studia Logica

JF - Studia Logica

SN - 0039-3215

IS - 1-2

ER -