|
On the 1-decidability of Boolean algebras with one distinguished ideal
M. N. Gaskova Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
Abstract:
We describe the 1-decidable Boolean algebras with one distinguished ideal in terms of the computability of some set of predicates on the algebra and show the minimality of the conditions obtained.
Keywords:
Boolean algebra, computable model, decidable model, $n$-decidable model, bounded theories of Boolean algebras, ideal on Boolean algebras, $\mathrm{I}$-algebra.
Received: 22.03.2024 Revised: 19.06.2024 Accepted: 20.06.2024
Citation:
M. N. Gaskova, “On the 1-decidability of Boolean algebras with one distinguished ideal”, Sibirsk. Mat. Zh., 65:5 (2024), 852–862
Linking options:
https://www.mathnet.ru/eng/smj7896 https://www.mathnet.ru/eng/smj/v65/i5/p852
|
Statistics & downloads: |
Abstract page: | 24 | Full-text PDF : | 1 | References: | 14 | First page: | 7 |
|