|
Boolean algebras autostable relative to $n$-decidable presentations
M. N. Gaskova Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
Abstract:
We give an algebraic description of Boolean algebras autostable relative to $n$-decidable presentations. Also, autostable $I_{\lambda,\mu}$-algebras are described.
Keywords:
Boolean algebra, computable structure, prime model, autostability, computable categoricity.
Received: 28.04.2021 Revised: 29.03.2023
Citation:
M. N. Gaskova, “Boolean algebras autostable relative to $n$-decidable presentations”, Algebra Logika, 61:4 (2022), 443–460
Linking options:
https://www.mathnet.ru/eng/al2721 https://www.mathnet.ru/eng/al/v61/i4/p443
|
|