Standard

Model Theory of Enriched Boolean Algebras. / Pal’chunov, D. E.; Trofimov, A. V.

в: Algebra and Logic, Том 64, № 6, 02.09.2026, стр. 435-446.

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

Harvard

Pal’chunov, DE & Trofimov, AV 2026, 'Model Theory of Enriched Boolean Algebras', Algebra and Logic, Том. 64, № 6, стр. 435-446. https://doi.org/10.1007/s10469-026-09846-0

APA

Pal’chunov, D. E., & Trofimov, A. V. (2026). Model Theory of Enriched Boolean Algebras. Algebra and Logic, 64(6), 435-446. https://doi.org/10.1007/s10469-026-09846-0

Vancouver

Pal’chunov DE, Trofimov AV. Model Theory of Enriched Boolean Algebras. Algebra and Logic. 2026 сент. 2;64(6):435-446. doi: 10.1007/s10469-026-09846-0

Author

Pal’chunov, D. E. ; Trofimov, A. V. / Model Theory of Enriched Boolean Algebras. в: Algebra and Logic. 2026 ; Том 64, № 6. стр. 435-446.

BibTeX

@article{3cb37373f1154aae9b1dfefec516bbd7,
title = "Model Theory of Enriched Boolean Algebras",
abstract = "We study enriched Boolean algebras. We describe subalgebras of Boolean algebras determined by fixed elements of automorphisms. We construct a continuum of superatomic Boolean algebras with a distinguished subalgebra whose elementary theories have no prime model. We investigate semigroups of elementary types of Boolean algebras with a distinguished subalgebra and of Boolean algebras with distinguished ideals.",
keywords = "Boolean algebra, dense subalgebra, finitely axiomatizable theory, theory without prime model, булева алгебра, плотная подалгебра, конечно аксиоматизируемая теория, теория без простой модели",
author = "Pal{\textquoteright}chunov, {D. E.} and Trofimov, {A. V.}",
note = "Pal{\textquoteright}chunov, D.E., Trofimov, A.V. Model Theory of Enriched Boolean Algebras. Algebra Logic 64, 435–446 (2026). https://doi.org/10.1007/s10469-026-09846-0 The work was carried out within the framework of the state assignment of Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences (project No. FWNF-2026-0032).",
year = "2026",
month = sep,
day = "2",
doi = "10.1007/s10469-026-09846-0",
language = "English",
volume = "64",
pages = "435--446",
journal = "Algebra and Logic",
issn = "0002-5232",
publisher = "Springer US",
number = "6",

}

RIS

TY - JOUR

T1 - Model Theory of Enriched Boolean Algebras

AU - Pal’chunov, D. E.

AU - Trofimov, A. V.

N1 - Pal’chunov, D.E., Trofimov, A.V. Model Theory of Enriched Boolean Algebras. Algebra Logic 64, 435–446 (2026). https://doi.org/10.1007/s10469-026-09846-0 The work was carried out within the framework of the state assignment of Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences (project No. FWNF-2026-0032).

PY - 2026/9/2

Y1 - 2026/9/2

N2 - We study enriched Boolean algebras. We describe subalgebras of Boolean algebras determined by fixed elements of automorphisms. We construct a continuum of superatomic Boolean algebras with a distinguished subalgebra whose elementary theories have no prime model. We investigate semigroups of elementary types of Boolean algebras with a distinguished subalgebra and of Boolean algebras with distinguished ideals.

AB - We study enriched Boolean algebras. We describe subalgebras of Boolean algebras determined by fixed elements of automorphisms. We construct a continuum of superatomic Boolean algebras with a distinguished subalgebra whose elementary theories have no prime model. We investigate semigroups of elementary types of Boolean algebras with a distinguished subalgebra and of Boolean algebras with distinguished ideals.

KW - Boolean algebra

KW - dense subalgebra

KW - finitely axiomatizable theory

KW - theory without prime model

KW - булева алгебра

KW - плотная подалгебра

KW - конечно аксиоматизируемая теория

KW - теория без простой модели

UR - https://www.mendeley.com/catalogue/13639f74-5d75-342f-a596-bea6880e1307/

UR - https://www.scopus.com/pages/publications/105049081584

U2 - 10.1007/s10469-026-09846-0

DO - 10.1007/s10469-026-09846-0

M3 - Article

VL - 64

SP - 435

EP - 446

JO - Algebra and Logic

JF - Algebra and Logic

SN - 0002-5232

IS - 6

ER -

ID: 83623998