Standard

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 journalArticlepeer-review

Harvard

APA

Vancouver

Leontyeva MN. Relatively Intrinsically Computable Relations on Boolean Algebras with a Distinguished Set of Atoms. Siberian Mathematical Journal. 2020 May 1;61(3):490-498. doi: 10.1134/S0037446620030106

Author

BibTeX

@article{8b4b0181e1da4f37a54738992e51a447,
title = "Relatively Intrinsically Computable Relations on Boolean Algebras with a Distinguished Set of Atoms",
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",
author = "Leontyeva, {M. N.}",
note = "Publisher Copyright: {\textcopyright} 2020, Pleiades Publishing, Ltd. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.",
year = "2020",
month = may,
day = "1",
doi = "10.1134/S0037446620030106",
language = "English",
volume = "61",
pages = "490--498",
journal = "Siberian Mathematical Journal",
issn = "0037-4466",
publisher = "MAIK NAUKA/INTERPERIODICA/SPRINGER",
number = "3",

}

RIS

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