Algebraic atomistic lattices of quasivarieties

K. V. Adaricheva; V. A. Gorbunov; W. Dziobiak

doi:10.1007/s10469-997-0063-6

Algebraic atomistic lattices of quasivarieties

K. V. Adaricheva, V. A. Gorbunov, W. Dziobiak

Department of Mathematics

Research output: Contribution to journal › Review article › peer-review

10 Citations (Scopus)

Abstract

The Gorbunov-Tumanov conjecture on the structure of lattices of quasivarieties is proved true for the case of algebraic lattices. Namely, for an algebraic atomistic lattice L, the following conditions are equivalent: (1) L is represented as L_q(K) for some algebraic quasivariety K; (2) L is represented as S∧(A) for some algebraic lattice A which satisfies the minimality condition and nearly satisfies the maximality condition; (3) L is a coalgebraic lattice admitting an equaclosure operator.

Original language	English
Pages (from-to)	213-225
Number of pages	13
Journal	Algebra and Logic
Volume	36
Issue number	4
DOIs	https://doi.org/10.1007/s10469-997-0063-6
Publication status	Published - 1997

ASJC Scopus subject areas

Analysis
Logic

Access to Document

10.1007/s10469-997-0063-6

Fingerprint Dive into the research topics of 'Algebraic atomistic lattices of quasivarieties'. Together they form a unique fingerprint.

Cite this

@article{97a9b7c4e8234573afdc3fd73d9b9943,

title = "Algebraic atomistic lattices of quasivarieties",

abstract = "The Gorbunov-Tumanov conjecture on the structure of lattices of quasivarieties is proved true for the case of algebraic lattices. Namely, for an algebraic atomistic lattice L, the following conditions are equivalent: (1) L is represented as Lq(K) for some algebraic quasivariety K; (2) L is represented as S∧(A) for some algebraic lattice A which satisfies the minimality condition and nearly satisfies the maximality condition; (3) L is a coalgebraic lattice admitting an equaclosure operator.",

author = "Adaricheva, {K. V.} and Gorbunov, {V. A.} and W. Dziobiak",

note = "Funding Information: *Supported by RFFR grants Nos. 96-01-01525 and 96-0-000976, and by DFG grant No. 436 (RUS) i13/2670.",

year = "1997",

doi = "10.1007/s10469-997-0063-6",

language = "English",

volume = "36",

pages = "213--225",

journal = "Algebra and Logic",

issn = "0002-5232",

publisher = "Springer New York",

number = "4",

}

TY - JOUR

T1 - Algebraic atomistic lattices of quasivarieties

AU - Adaricheva, K. V.

AU - Gorbunov, V. A.

AU - Dziobiak, W.

N1 - Funding Information: *Supported by RFFR grants Nos. 96-01-01525 and 96-0-000976, and by DFG grant No. 436 (RUS) i13/2670.

PY - 1997

Y1 - 1997

N2 - The Gorbunov-Tumanov conjecture on the structure of lattices of quasivarieties is proved true for the case of algebraic lattices. Namely, for an algebraic atomistic lattice L, the following conditions are equivalent: (1) L is represented as Lq(K) for some algebraic quasivariety K; (2) L is represented as S∧(A) for some algebraic lattice A which satisfies the minimality condition and nearly satisfies the maximality condition; (3) L is a coalgebraic lattice admitting an equaclosure operator.

AB - The Gorbunov-Tumanov conjecture on the structure of lattices of quasivarieties is proved true for the case of algebraic lattices. Namely, for an algebraic atomistic lattice L, the following conditions are equivalent: (1) L is represented as Lq(K) for some algebraic quasivariety K; (2) L is represented as S∧(A) for some algebraic lattice A which satisfies the minimality condition and nearly satisfies the maximality condition; (3) L is a coalgebraic lattice admitting an equaclosure operator.

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

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

U2 - 10.1007/s10469-997-0063-6

DO - 10.1007/s10469-997-0063-6

M3 - Review article

AN - SCOPUS:27544514670

VL - 36

SP - 213

EP - 225

JO - Algebra and Logic

JF - Algebra and Logic

SN - 0002-5232

IS - 4

ER -

Algebraic atomistic lattices of quasivarieties

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this