Abstract
We prove the theorem that fully describes relatively intrinsically computable relations on Boolean algebras with a distinguished set of atoms.
Similar content being viewed by others
References
Goncharov S. S., Downey R. G., and Hirschfeldt D. R., “Degree spectra of relations on Boolean algebras,” Algebra and Logic, vol. 42, no. 2, 105–111 (2003).
Alaev P. E., “Computable ideals in I-algebras,” Algebra and Logic, vol. 49, no. 2, 103–114 (2010).
Ash C., Knight J., Manasse M., and Slamon T., “Generic copies of countable structures,” Ann. Pure Appl. Logic, vol. 42, no. 3, 195–205 (1989).
Chisholm J., “Effective modal theory vs. recursive modal theory,” J. Symb. Log., vol. 55, no. 3, 1168–1191 (1990).
Acknowledgment
The author is grateful to P. E. Alaev for stating the problem and useful discussions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Russian Text © The Author(s), 2020, published in Sibirskii Matematicheskii Zhurnal, 2020, Vol. 61, No. 3, pp. 622–633.
The author was funded within the Government Task to the Sobolev Institute of Mathematics (Project 0314-2019-0002) under the financial support of the Russian Foundation for Basic Research (Project 20-01-00300).
Rights and permissions
About this article
Cite this article
Leontyeva, M.N. Relatively Intrinsically Computable Relations on Boolean Algebras with a Distinguished Set of Atoms. Sib Math J 61, 490–498 (2020). https://doi.org/10.1134/S0037446620030106
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446620030106