The Theories of Superatomic Boolean Algebras with Distinguished Subalgebra Which Lack Countably Saturated Models

D. E. Palchunov; A. V. Trofimov

doi:10.1134/S0037446620030131

The Theories of Superatomic Boolean Algebras with Distinguished Subalgebra Which Lack Countably Saturated Models

D. E. Palchunov, A. V. Trofimov

Кафедра общей информатики ФИТ

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

Аннотация

Studying Boolean algebras with distinguished subalgebras, we establish the existence of continuum many simple superatomic Boolean algebras with distinguished subalgebra whose elementary theories are distinct and each of them lacks countably saturated models. The subalgebras coincide with the Boolean algebras modulo their Fréchet ideals.

Язык оригинала	английский
Страницы (с-по)	516-527
Число страниц	12
Журнал	Siberian Mathematical Journal
Том	61
Номер выпуска	3
DOI	https://doi.org/10.1134/S0037446620030131
Состояние	Опубликовано - 1 мая 2020

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

10.1134/S0037446620030131

Link to publication in Scopus

Fingerprint Подробные сведения о темах исследования «The Theories of Superatomic Boolean Algebras with Distinguished Subalgebra Which Lack Countably Saturated Models». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать

@article{72d3ac09bef54424a1de382a624b049e,

title = "The Theories of Superatomic Boolean Algebras with Distinguished Subalgebra Which Lack Countably Saturated Models",

abstract = "Studying Boolean algebras with distinguished subalgebras, we establish the existence of continuum many simple superatomic Boolean algebras with distinguished subalgebra whose elementary theories are distinct and each of them lacks countably saturated models. The subalgebras coincide with the Boolean algebras modulo their Fr{\'e}chet ideals.",

keywords = "Boolean algebra, Boolean algebra with distinguished subalgebra, elementary equivalence, elementary theory, finitely axiomatizable theory, local algebra, solvable theory",

author = "Palchunov, {D. E.} and Trofimov, {A. V.}",

year = "2020",

month = may,

day = "1",

doi = "10.1134/S0037446620030131",

language = "English",

volume = "61",

pages = "516--527",

journal = "Siberian Mathematical Journal",

issn = "0037-4466",

publisher = "MAIK NAUKA/INTERPERIODICA/SPRINGER",

number = "3",

}

The Theories of Superatomic Boolean Algebras with Distinguished Subalgebra Which Lack Countably Saturated Models. / Palchunov, D. E.; Trofimov, A. V.

В: Siberian Mathematical Journal, Том 61, № 3, 01.05.2020, стр. 516-527.

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

TY - JOUR

T1 - The Theories of Superatomic Boolean Algebras with Distinguished Subalgebra Which Lack Countably Saturated Models

AU - Palchunov, D. E.

AU - Trofimov, A. V.

PY - 2020/5/1

Y1 - 2020/5/1

N2 - Studying Boolean algebras with distinguished subalgebras, we establish the existence of continuum many simple superatomic Boolean algebras with distinguished subalgebra whose elementary theories are distinct and each of them lacks countably saturated models. The subalgebras coincide with the Boolean algebras modulo their Fréchet ideals.

AB - Studying Boolean algebras with distinguished subalgebras, we establish the existence of continuum many simple superatomic Boolean algebras with distinguished subalgebra whose elementary theories are distinct and each of them lacks countably saturated models. The subalgebras coincide with the Boolean algebras modulo their Fréchet ideals.

KW - Boolean algebra

KW - Boolean algebra with distinguished subalgebra

KW - elementary equivalence

KW - elementary theory

KW - finitely axiomatizable theory

KW - local algebra

KW - solvable theory

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

U2 - 10.1134/S0037446620030131

DO - 10.1134/S0037446620030131

M3 - Article

AN - SCOPUS:85086322826

VL - 61

SP - 516

EP - 527

JO - Siberian Mathematical Journal

JF - Siberian Mathematical Journal

SN - 0037-4466

IS - 3

ER -