Relatively Intrinsically Computable Relations on Boolean Algebras with a Distinguished Set of Atoms. / Leontyeva, M. N.
In: Siberian Mathematical Journal, Vol. 61, No. 3, 01.05.2020, p. 490-498.Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - Relatively Intrinsically Computable Relations on Boolean Algebras with a Distinguished Set of Atoms
AU - Leontyeva, M. N.
N1 - Publisher Copyright: © 2020, Pleiades Publishing, Ltd. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.
PY - 2020/5/1
Y1 - 2020/5/1
N2 - We prove the theorem that fully describes relatively intrinsically computable relations on Boolean algebras with a distinguished set of atoms.
AB - We prove the theorem that fully describes relatively intrinsically computable relations on Boolean algebras with a distinguished set of atoms.
KW - Boolean algebra
KW - computable function
KW - computable model
KW - intrinsically computable relation
KW - relatively intrinsically computable relation
UR - http://www.scopus.com/inward/record.url?scp=85086340058&partnerID=8YFLogxK
U2 - 10.1134/S0037446620030106
DO - 10.1134/S0037446620030106
M3 - Article
AN - SCOPUS:85086340058
VL - 61
SP - 490
EP - 498
JO - Siberian Mathematical Journal
JF - Siberian Mathematical Journal
SN - 0037-4466
IS - 3
ER -
ID: 24515184