Relatively Intrinsically Computable Relations on Boolean Algebras with a Distinguished Set of Atoms

Research output: Contribution to journalArticlepeer-review

Abstract

We prove the theorem that fully describes relatively intrinsically computable relations on Boolean algebras with a distinguished set of atoms.

Original languageEnglish
Pages (from-to)490-498
Number of pages9
JournalSiberian Mathematical Journal
Volume61
Issue number3
DOIs
Publication statusPublished - 1 May 2020

Keywords

  • Boolean algebra
  • computable function
  • computable model
  • intrinsically computable relation
  • relatively intrinsically computable relation

Fingerprint Dive into the research topics of 'Relatively Intrinsically Computable Relations on Boolean Algebras with a Distinguished Set of Atoms'. Together they form a unique fingerprint.

Cite this