DEGREES OF AUTOSTABILITY FOR PRIME BOOLEAN ALGEBRAS

作者：Bazhenov N A; Marchuk M I

来源：Algebra and Logic, 2018, 57(2): 98-114.

DOI：10.1007/s10469-018-9483-8

• autostability spectrum
• degree of autostability
• Boolean algebra
• autostability
• prime model
• computable model
• computable categoricity
• categoricity spectrum
• degree of categoricity
• decidable model
• autostability relative to strong constructivizations

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 alpha and beta with the condition 0 <= alpha <= beta <= omega, there is a decidable model for which 0((alpha)) is a degree of autostability relative to strong constructivizations, while 0((beta)) is a degree of autostability. It is proved that for any nonzero ordinal beta <= omega, there is a decidable model for which there is no degree of autostability relative to strong constructivizations, while 0((beta)) is a degree of autostability.

• 出版日期2018-6