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

Кафедра алгебры и математической логики ММФ

Результат исследования: Научные публикации в периодических изданиях › статья

4 Цитирования (Scopus)

Аннотация

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.

Язык оригинала	английский
Страницы (с-по)	980-985
Число страниц	6
Журнал	Siberian Electronic Mathematical Reports
Том	14
DOI	https://doi.org/10.17377/semi.2017.14.082
Состояние	Опубликовано - 1 янв 2017

Доступ к документу

10.17377/semi.2017.14.082

Link to publication in Scopus

Fingerprint Подробные сведения о темах исследования «On semilattices and lattices for families of theories». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать

Sudoplatov, S. V. (2017). On semilattices and lattices for families of theories. Siberian Electronic Mathematical Reports, 14, 980-985. https://doi.org/10.17377/semi.2017.14.082

@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 -