Index Set of Linear Orderings that are Autostable Relative to Strong Constructivizations

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

1 Цитирования (Scopus)

Аннотация

We prove that a computable ordinal α is autostable relative to strong constructivizations if and only if α < ωω+1. We obtain an estimate of the algorithmic complexity for the class of strongly constructivizable linear orderings that are autostable relative to strong constructivizations.

Язык оригиналаанглийский
Страницы (с-по)840-848
Число страниц9
ЖурналJournal of Mathematical Sciences (United States)
Том221
Номер выпуска6
DOI
СостояниеОпубликовано - 1 мар 2017

Fingerprint Подробные сведения о темах исследования «Index Set of Linear Orderings that are Autostable Relative to Strong Constructivizations». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать