|
Relatively intrinsically computable relations on boolean algebras with a distinguished set of atoms
M. N. Leont'evaab a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
b Novosibirsk State University
Abstract:
We prove the theorem that fully describes relatively intrinsically computable relations on Boolean algebras with a distinguished set of atoms.
Keywords:
Boolean algebra, computable function, computable model, intrinsically computable relation, relatively intrinsically computable relation.
Received: 02.03.2020 Revised: 06.04.2020 Accepted: 08.04.2020
Citation:
M. N. Leont'eva, “Relatively intrinsically computable relations on boolean algebras with a distinguished set of atoms”, Sibirsk. Mat. Zh., 61:3 (2020), 622–633; Siberian Math. J., 61:3 (2020), 490–498
Linking options:
https://www.mathnet.ru/eng/smj6005 https://www.mathnet.ru/eng/smj/v61/i3/p622
|
Statistics & downloads: |
Abstract page: | 147 | Full-text PDF : | 73 | References: | 29 | First page: | 1 |
|