Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения:
09.11.1948
E-mail: , ,
Ключевые слова: вычислимость,
арифметические нумерации,
полурешетки Роджерса,
предполные нумерации,
минимальные нумерации,
допустимые множества,
клеточные автоматы.
Основные темы научной работы:
Найден удобный критерий минимальности нумераций, разработаны новые методы построения минимальных вычислимых нумераций, на основе которых предложена естественная классификация вычислимых минимальных. Совместно с С. С. Гончаровым построено бесконечное семейство рекурсивно перечислимых множеств, содержащее наименьшее по включению множество, полурешетка Роджерса которого одноэлементна. Совместно с С. С. Гончаровым и А. Сорби исследованы свойства пополнений арифметических нумераций и взаимосвязи полных и универсальных нумераций семеств арифметических множеств.
Основные публикации:
Badaev S. A., Goncharov S. S., Sorbi A.
Completeness and universality of arithmetical numberings // Computability and Models. Dortrecht: Kluwer Acad. Publ. Group, 2002.
Гончаров С. С., Бадаев С. А. Семейства с одноэлементной полурешеткой Роджерса // Алгебра и логика, 1998, 37(1), 36–62.
Badaev S. A., Goncharov S. S. Theory of numberings: Open Problems // Contemp. Math., 2000, 257, 23–38.
Бадаев С. А. Минимальные нумерации позитивно вычислимых семейств // Алгебра и логика, 1994, 33(3), 233–254.
Badaev S. A. On minimal enumerations // Siberian Adv. Math., 1992, 2(1), 1–30.
