On semilattices and lattices for families of theories

Sergey Vladimirovich Sudoplatov

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 languageEnglish
Pages (from-to)980-985
Number of pages6
JournalСибирские электронные математические известия
Volume14
DOIs
Publication statusPublished - 1 Jan 2017

Keywords

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

OECD FOS+WOS

  • 1.01 MATHEMATICS

Access to Document

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

Cite this