Degrees of Autostability for Prime Boolean Algebras
- Authors: Bazhenov N.A.1,2, Marchuk M.I.1
-
Affiliations:
- Sobolev Institute of Mathematics
- Novosibirsk State University
- Issue: Vol 57, No 2 (2018)
- Pages: 98-114
- Section: Article
- URL: https://journals.rcsi.science/0002-5232/article/view/234078
- DOI: https://doi.org/10.1007/s10469-018-9483-8
- ID: 234078
Cite item
Abstract
We look at the concept of algorithmic complexity of isomorphisms between computable copies of Boolean algebras. Degrees of autostability are found for all prime Boolean algebras. It is shown that for any ordinals α and β with the condition 0 ≤ α ≤ β ≤ ω, there is a decidable model for which 0(α) is a degree of autostability relative to strong constructivizations, while 0(β) is a degree of autostability. It is proved that for any nonzero ordinal β ≤ ω, there is a decidable model for which there is no degree of autostability relative to strong constructivizations, while 0(β) is a degree of autostability.
About the authors
N. A. Bazhenov
Sobolev Institute of Mathematics; Novosibirsk State University
Author for correspondence.
Email: bazhenov@math.nsc.ru
Russian Federation, pr. Akad. Koptyuga 4, Novosibirsk, 630090; ul. Pirogova 1, Novosibirsk, 630090
M. I. Marchuk
Sobolev Institute of Mathematics
Email: bazhenov@math.nsc.ru
Russian Federation, pr. Akad. Koptyuga 4, Novosibirsk, 630090