Relatively intrinsically computable relations on Boolean algebras with a distinguished set of atoms
From MaRDI portal
Publication:2191380
DOI10.1134/S0037446620030106zbMath1481.03018OpenAlexW3035107687MaRDI QIDQ2191380
Publication date: 24 June 2020
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1134/s0037446620030106
Boolean algebracomputable modelcomputable functionintrinsically computable relationrelatively intrinsically computable relation
Structure theory of Boolean algebras (06E05) Computable structure theory, computable model theory (03C57)
Cites Work