Standard

Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals. / Pal’chunov, D. E.; Trofimov, A. V.; Turko, A. I.

в: Siberian Mathematical Journal, Том 56, № 3, 26.05.2015, стр. 490-498.

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

Harvard

Pal’chunov, DE, Trofimov, AV & Turko, AI 2015, 'Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals', Siberian Mathematical Journal, Том. 56, № 3, стр. 490-498. https://doi.org/10.1134/S003744661503012X

APA

Pal’chunov, D. E., Trofimov, A. V., & Turko, A. I. (2015). Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals. Siberian Mathematical Journal, 56(3), 490-498. https://doi.org/10.1134/S003744661503012X

Vancouver

Pal’chunov DE, Trofimov AV, Turko AI. Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals. Siberian Mathematical Journal. 2015 май 26;56(3):490-498. doi: 10.1134/S003744661503012X

Author

Pal’chunov, D. E. ; Trofimov, A. V. ; Turko, A. I. / Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals. в: Siberian Mathematical Journal. 2015 ; Том 56, № 3. стр. 490-498.

BibTeX

@article{2aa5e5613ca1471cb5dbbf3d62224fb2,
title = "Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals",
abstract = "We study Boolean algebras with distinguished ideals (I-algebras). We proved that a local I-algebra is autostable relative to strong constructivizations if and only if it is a direct product of finitely many prime models. We describe complete formulas of elementary theories of local Boolean algebras with distinguished ideals and a finite tuple of distinguished constants. We show that countably categorical I-algebras, finitely axiomatizable I-algebras, superatomic Boolean algebras with one distinguished ideal, and Boolean algebras are autostable relative to strong constructivizations if and only if they are products of finitely many prime models.",
keywords = "autostability, autostability relative to strong constructivizations, Boolean algebra, Boolean algebra with distinguished ideals, I-algebra, prime model, strong constructivizability",
author = "Pal{\textquoteright}chunov, {D. E.} and Trofimov, {A. V.} and Turko, {A. I.}",
year = "2015",
month = may,
day = "26",
doi = "10.1134/S003744661503012X",
language = "English",
volume = "56",
pages = "490--498",
journal = "Siberian Mathematical Journal",
issn = "0037-4466",
publisher = "MAIK NAUKA/INTERPERIODICA/SPRINGER",
number = "3",

}

RIS

TY - JOUR

T1 - Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals

AU - Pal’chunov, D. E.

AU - Trofimov, A. V.

AU - Turko, A. I.

PY - 2015/5/26

Y1 - 2015/5/26

N2 - We study Boolean algebras with distinguished ideals (I-algebras). We proved that a local I-algebra is autostable relative to strong constructivizations if and only if it is a direct product of finitely many prime models. We describe complete formulas of elementary theories of local Boolean algebras with distinguished ideals and a finite tuple of distinguished constants. We show that countably categorical I-algebras, finitely axiomatizable I-algebras, superatomic Boolean algebras with one distinguished ideal, and Boolean algebras are autostable relative to strong constructivizations if and only if they are products of finitely many prime models.

AB - We study Boolean algebras with distinguished ideals (I-algebras). We proved that a local I-algebra is autostable relative to strong constructivizations if and only if it is a direct product of finitely many prime models. We describe complete formulas of elementary theories of local Boolean algebras with distinguished ideals and a finite tuple of distinguished constants. We show that countably categorical I-algebras, finitely axiomatizable I-algebras, superatomic Boolean algebras with one distinguished ideal, and Boolean algebras are autostable relative to strong constructivizations if and only if they are products of finitely many prime models.

KW - autostability

KW - autostability relative to strong constructivizations

KW - Boolean algebra

KW - Boolean algebra with distinguished ideals

KW - I-algebra

KW - prime model

KW - strong constructivizability

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

U2 - 10.1134/S003744661503012X

DO - 10.1134/S003744661503012X

M3 - Article

AN - SCOPUS:84935016707

VL - 56

SP - 490

EP - 498

JO - Siberian Mathematical Journal

JF - Siberian Mathematical Journal

SN - 0037-4466

IS - 3

ER -

ID: 25329629