|
This article is cited in 9 scientific papers (total in 9 papers)
Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals
D. E. Pal'chunova, A. V. Trofimovb, A. V. Turkob a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia
b Novosibirsk State University, Novosibirsk, Russia
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:
Boolean algebra, Boolean algebra with distinguished ideals, $I$-algebra, autostability, strong constructivizability, autostability relative to strong constructivizations, prime model.
Received: 26.04.2014
Citation:
D. E. Pal'chunov, A. V. Trofimov, A. V. Turko, “Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals”, Sibirsk. Mat. Zh., 56:3 (2015), 617–628; Siberian Math. J., 56:3 (2015), 490–498
Linking options:
https://www.mathnet.ru/eng/smj2664 https://www.mathnet.ru/eng/smj/v56/i3/p617
|
|