Standard

Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width. / Pal’chunov, D. E.; Trofimov, A. V.

In: Siberian Mathematical Journal, Vol. 57, No. 6, 01.11.2016, p. 1066-1076.

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

Harvard

Pal’chunov, DE & Trofimov, AV 2016, 'Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width', Siberian Mathematical Journal, vol. 57, no. 6, pp. 1066-1076. https://doi.org/10.1134/S0037446616060136

APA

Pal’chunov, D. E., & Trofimov, A. V. (2016). Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width. Siberian Mathematical Journal, 57(6), 1066-1076. https://doi.org/10.1134/S0037446616060136

Vancouver

Pal’chunov DE, Trofimov AV. Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width. Siberian Mathematical Journal. 2016 Nov 1;57(6):1066-1076. doi: 10.1134/S0037446616060136

Author

Pal’chunov, D. E. ; Trofimov, A. V. / Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width. In: Siberian Mathematical Journal. 2016 ; Vol. 57, No. 6. pp. 1066-1076.

BibTeX

@article{2812d627e9e84e5fa7e490c9a524877f,
title = "Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width",
abstract = "We give a description of finitely axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width. Criteria are obtained for the elementary equivalence of superatomic Boolean algebras with distinguished dense subalgebra of finite width and the decidability of their elementary theories.",
keywords = "Boolean algebra, Boolean algebra with distinguished subalgebra, decidable theory, elementary equivalence, elementary theory, finitely axiomatizable theory, local algebra",
author = "Pal{\textquoteright}chunov, {D. E.} and Trofimov, {A. V.}",
year = "2016",
month = nov,
day = "1",
doi = "10.1134/S0037446616060136",
language = "English",
volume = "57",
pages = "1066--1076",
journal = "Siberian Mathematical Journal",
issn = "0037-4466",
publisher = "MAIK NAUKA/INTERPERIODICA/SPRINGER",
number = "6",

}

RIS

TY - JOUR

T1 - Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width

AU - Pal’chunov, D. E.

AU - Trofimov, A. V.

PY - 2016/11/1

Y1 - 2016/11/1

N2 - We give a description of finitely axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width. Criteria are obtained for the elementary equivalence of superatomic Boolean algebras with distinguished dense subalgebra of finite width and the decidability of their elementary theories.

AB - We give a description of finitely axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width. Criteria are obtained for the elementary equivalence of superatomic Boolean algebras with distinguished dense subalgebra of finite width and the decidability of their elementary theories.

KW - Boolean algebra

KW - Boolean algebra with distinguished subalgebra

KW - decidable theory

KW - elementary equivalence

KW - elementary theory

KW - finitely axiomatizable theory

KW - local algebra

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

U2 - 10.1134/S0037446616060136

DO - 10.1134/S0037446616060136

M3 - Article

AN - SCOPUS:85007092857

VL - 57

SP - 1066

EP - 1076

JO - Siberian Mathematical Journal

JF - Siberian Mathematical Journal

SN - 0037-4466

IS - 6

ER -

ID: 25329267