Degrees of Autostability for Prime Boolean Algebras › Обзор исследований

Standard

Degrees of Autostability for Prime Boolean Algebras. / Bazhenov, N. A.; Marchuk, M. I.

в: Algebra and Logic, Том 57, № 2, 01.06.2018, стр. 98-114.

Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Harvard

Bazhenov, NA & Marchuk, MI 2018, 'Degrees of Autostability for Prime Boolean Algebras', Algebra and Logic, Том. 57, № 2, стр. 98-114. https://doi.org/10.1007/s10469-018-9483-8

APA

Bazhenov, N. A., & Marchuk, M. I. (2018). Degrees of Autostability for Prime Boolean Algebras. Algebra and Logic, 57(2), 98-114. https://doi.org/10.1007/s10469-018-9483-8

Vancouver

Bazhenov NA, Marchuk MI. Degrees of Autostability for Prime Boolean Algebras. Algebra and Logic. 2018 июнь 1;57(2):98-114. doi: 10.1007/s10469-018-9483-8

Author

Bazhenov, N. A. ; Marchuk, M. I. / Degrees of Autostability for Prime Boolean Algebras. в: Algebra and Logic. 2018 ; Том 57, № 2. стр. 98-114.

BibTeX

@article{55f4ba56f7db469eaa91d352e7147317,

title = "Degrees of Autostability for Prime Boolean Algebras",

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.",

keywords = "autostability, autostability relative to strong constructivizations, autostability spectrum, Boolean algebra, categoricity spectrum, computable categoricity, computable model, decidable model, degree of autostability, degree of categoricity, prime model, FIELDS, COMPUTABLE CATEGORICITY, STRONG CONSTRUCTIVIZATIONS",

author = "Bazhenov, {N. A.} and Marchuk, {M. I.}",

note = "Publisher Copyright: {\textcopyright} 2018, Springer Science+Business Media, LLC, part of Springer Nature.",

year = "2018",

month = jun,

day = "1",

doi = "10.1007/s10469-018-9483-8",

language = "English",

volume = "57",

pages = "98--114",

journal = "Algebra and Logic",

issn = "0002-5232",

publisher = "Springer US",

number = "2",

}

RIS

TY - JOUR

T1 - Degrees of Autostability for Prime Boolean Algebras

AU - Bazhenov, N. A.

AU - Marchuk, M. I.

PY - 2018/6/1

Y1 - 2018/6/1

N2 - 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.

AB - 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.

KW - autostability

KW - autostability relative to strong constructivizations

KW - autostability spectrum

KW - Boolean algebra

KW - categoricity spectrum

KW - computable categoricity

KW - computable model

KW - decidable model

KW - degree of autostability

KW - degree of categoricity

KW - prime model

KW - FIELDS

KW - COMPUTABLE CATEGORICITY

KW - STRONG CONSTRUCTIVIZATIONS

UR - http://www.scopus.com/inward/record.url?scp=85050685818&partnerID=8YFLogxK

U2 - 10.1007/s10469-018-9483-8

DO - 10.1007/s10469-018-9483-8

M3 - Article

AN - SCOPUS:85050685818

VL - 57

SP - 98

EP - 114

JO - Algebra and Logic

JF - Algebra and Logic

SN - 0002-5232

IS - 2

ER -

ID: 15966852