Identical inclusions of semilattices

G. Mashevitzky

doi:10.1007/s00012-020-0649-6

Identical inclusions of semilattices

G. Mashevitzky

Department of Mathematics

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

Abstract

The class of identical inclusions was defined by Lyapin. We prove that any set of identical inclusions in the class of semilattices is equivalent to an elementary (the first order) formula. Elementary identical inclusions forms the class of universal formulas which is situated strictly between identities and universal positive formulas. We describe the infinite lattice of all classes of semilattices which can be defined by sets of identical inclusions and solve the main algorithmic problems concerning identical inclusions of semilattices.

Original language	English
Article number	26
Journal	Algebra Universalis
Volume	81
Issue number	2
DOIs	https://doi.org/10.1007/s00012-020-0649-6
State	Published - 1 May 2020

Keywords

Disjunctive identity
Identical inclusion
Semilattice

ASJC Scopus subject areas

Algebra and Number Theory
Logic

Access to Document

10.1007/s00012-020-0649-6

Cite this

@article{4f7a189f6ed3407f8c4913fab447f4f0,

title = "Identical inclusions of semilattices",

abstract = "The class of identical inclusions was defined by Lyapin. We prove that any set of identical inclusions in the class of semilattices is equivalent to an elementary (the first order) formula. Elementary identical inclusions forms the class of universal formulas which is situated strictly between identities and universal positive formulas. We describe the infinite lattice of all classes of semilattices which can be defined by sets of identical inclusions and solve the main algorithmic problems concerning identical inclusions of semilattices.",

keywords = "Disjunctive identity, Identical inclusion, Semilattice",

author = "G. Mashevitzky",

note = "Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG.",

year = "2020",

month = may,

day = "1",

doi = "10.1007/s00012-020-0649-6",

language = "English",

volume = "81",

journal = "Algebra Universalis",

issn = "0002-5240",

publisher = "Birkhauser Verlag Basel",

number = "2",

}

TY - JOUR

T1 - Identical inclusions of semilattices

AU - Mashevitzky, G.

PY - 2020/5/1

Y1 - 2020/5/1

N2 - The class of identical inclusions was defined by Lyapin. We prove that any set of identical inclusions in the class of semilattices is equivalent to an elementary (the first order) formula. Elementary identical inclusions forms the class of universal formulas which is situated strictly between identities and universal positive formulas. We describe the infinite lattice of all classes of semilattices which can be defined by sets of identical inclusions and solve the main algorithmic problems concerning identical inclusions of semilattices.

AB - The class of identical inclusions was defined by Lyapin. We prove that any set of identical inclusions in the class of semilattices is equivalent to an elementary (the first order) formula. Elementary identical inclusions forms the class of universal formulas which is situated strictly between identities and universal positive formulas. We describe the infinite lattice of all classes of semilattices which can be defined by sets of identical inclusions and solve the main algorithmic problems concerning identical inclusions of semilattices.

KW - Disjunctive identity

KW - Identical inclusion

KW - Semilattice

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

U2 - 10.1007/s00012-020-0649-6

DO - 10.1007/s00012-020-0649-6

M3 - Article

AN - SCOPUS:85083640750

SN - 0002-5240

VL - 81

JO - Algebra Universalis

JF - Algebra Universalis

IS - 2

M1 - 26

ER -

Identical inclusions of semilattices

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this