Arslanov's completeness criteria: reducibilities, selection functions, numberings

Fixed Point Theorems for Generalized Computable Numberings

Numberings and the Recursion Theorems

Эффективно бесконечные классы нумераций семейств вещественных чисел

Обобщенно вычислимые нумерации и неподвижные точки

On A-computable Numberings

On A-computable Families: Numberings, Rogers and Degtev Semilattices

Generalized Computable Numberings and Degree Spectra of Countable Families

Проект "Н.И. Лобачевский"

Проект предполагает сопоставление педагогического наследия Н.И. Лобачевского с современными педагогическими науками, формирование взгляда на научную деятельность Н.И. Лобачевского с позиции современной науки.

НОМЦ ПФО: от ученика средней школы до ученого мирового уровня

В докладе были изложены ключевые шаги пути школьника среднего образовательного учреждения до ученого мирового уровня и участие НОМЦ ПФО в каждой контрольной точке этого пути.

пресс-волл (КФУ & НОМЦ ПФО) два ролл апа с образовательной и научной миссиями НОМЦ ПФО

Обобщенно вычислимые нумерации и спектры степеней счетных семейств

Позитивные нумерации в гиперарифметике

Computability on Families

О теореме Хуторецкого для семейств арифметических множеств

О теореме Хуторецкого для обобщенно вычислимых семейств

Jump inversions of algebraic structures and Σ-definability

Degree sppectra of generalized families

An \alpha-family is inductively defined as a countable \beta-families, \beta<\alpha, while a 0-family is a set of integers. We will discuss different approaches to the computabilty of such families, and also study relationships with computability of algerbraic structures and its degree spectra.

Универсальные вычислимые нумерации функциональных классов семейств

Экстремальные элементы полурешеток Роджерса обобщенно вычислимых нумераций

Limitwise monotonic sets of reals

Uniformly left-c.e. sets of reals