RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive
Sibirsk. Mat. Zh., 2020 Volume 61, Number 3, Pages 622–633 (Mi smj6005)
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.

UDC: 510.5+510.6+512.563

MSC: 35R30

Received: 02.03.2020
Revised: 06.04.2020
Accepted: 08.04.2020

DOI: 10.33048/smzh.2020.61.310


 English version: Siberian Mathematical Journal, 2020, 61:3, 490–498

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024