On semilattices and lattices for families of theories

Sergey Vladimirovich Sudoplatov

doi:10.17377/semi.2017.14.082

On semilattices and lattices for families of theories

Sergey Vladimirovich Sudoplatov

Section of Algebra and Mathematical Logic

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

4 Citations (Scopus)

Abstract

We define and study semilattices and lattices for E-closed families of theories. Properties of these semilattices and lattices are investigated. It is shown that lattices for families of theories with the least generating sets are distributive.

Original language	English
Pages (from-to)	980-985
Number of pages	6
Journal	Siberian Electronic Mathematical Reports
Volume	14
DOIs	https://doi.org/10.17377/semi.2017.14.082
Publication status	Published - 1 Jan 2017

Keywords

Combination of theories
E-operator
Family of theories
Lattice
Least generating set
Semilattice

Access to Document

10.17377/semi.2017.14.082

Link to publication in Scopus

Fingerprint Dive into the research topics of 'On semilattices and lattices for families of theories'. Together they form a unique fingerprint.

Cite this

@article{20e086e76a574749a812c4d2d459ae24,

title = "On semilattices and lattices for families of theories",

abstract = "We define and study semilattices and lattices for E-closed families of theories. Properties of these semilattices and lattices are investigated. It is shown that lattices for families of theories with the least generating sets are distributive.",

keywords = "Combination of theories, E-operator, Family of theories, Lattice, Least generating set, Semilattice",

author = "Sudoplatov, {Sergey Vladimirovich}",

year = "2017",

month = jan,

day = "1",

doi = "10.17377/semi.2017.14.082",

language = "English",

volume = "14",

pages = "980--985",

journal = "Siberian Electronic Mathematical Reports",

issn = "1813-3304",

publisher = "Sobolev Institute of Mathematics",

}

TY - JOUR

T1 - On semilattices and lattices for families of theories

AU - Sudoplatov, Sergey Vladimirovich

PY - 2017/1/1

Y1 - 2017/1/1

N2 - We define and study semilattices and lattices for E-closed families of theories. Properties of these semilattices and lattices are investigated. It is shown that lattices for families of theories with the least generating sets are distributive.

AB - We define and study semilattices and lattices for E-closed families of theories. Properties of these semilattices and lattices are investigated. It is shown that lattices for families of theories with the least generating sets are distributive.

KW - Combination of theories

KW - E-operator

KW - Family of theories

KW - Lattice

KW - Least generating set

KW - Semilattice

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

U2 - 10.17377/semi.2017.14.082

DO - 10.17377/semi.2017.14.082

M3 - Article

AN - SCOPUS:85066101476

VL - 14

SP - 980

EP - 985

JO - Siberian Electronic Mathematical Reports

JF - Siberian Electronic Mathematical Reports

SN - 1813-3304

ER -