Школа "Вычислимость и модели"

Алматы, Казахстан, 24-28 июня 2002 г.

ТЕЗИСЫ ДОКЛАДОВ

• Павел Евгеньевич Алаев, Вычислимые однородные булевы алгебры
• Асель Аскаровна Алтаева, Предполные арифметические эквивалентности
• Марат Мирзаевич Арсланов, В.п. и n-в.п. степени и степени без неподвижных точек
• Серикжан Агыбаевич Бадаев, Арифметические нумерации
• Ержан Рахметтоллаевич Байсалов, О гипотезе Эрдеша-Вудса
• Станислав Леонидович Березнюк, О гиперарифметических нумерациях
• Сергей Савостьянович Гончаров, Вычислимость и автоустойчивость
• Вячеслав Порфирьевич Добрица, О предельно конструктивных моделях
• Пердебек Досанбай, Определимость в арифметических структурах
• Айбат Рафхатович Ешкеев, Некоторые свойства йонсоновсих теорий
• Искандер Шагитович Калимуллин, Оператор скачка определим в степенях по перечислимости
• Клаус Каймель, Domain theoretical models for probability and measure
• Джон Кейс, A Computability-Theoretic Learning Theory Sampler
• Джон Кейс, Machine Learning for a Genomics Analogy Problem
• Олег Кудинов,
• Бейбут Шайыкович Кулпешов, О некоторых свойствах слабо o-минимальных теорий
• Джулия Найт, Isomorphism problems
• Куаныш Аблаевич Мейрембеков, Функция Рыль-Нардзевского счетно категоричных теорий
• Абыз Темиргалиевич Нуртазин, Два свойства счетно категоричных универсалов
• Михаил Георгиевич Перетятькин, Алгебра Линденбаума логики предикатов и ее структура
• Сергей Юрьевич Подзоров, Алгебраические свойства полурешеток Роджерса арифметических нумераций
• Ася Михайловна Ивлева, Unit Groups of Integral Group Rings
• Анна Валерьевна Ромина, Автоустойчивость моделей в допустимых множествах
• Павел Михайлович Семухин, Спектр идеала безатомных элементов
• Борис Солон, Сильные сводимости по перечислимости
• Дитер Сприн,  On the Effective Continuity of Effective Multifunctions
• Франк Стефан, Learning Classes of Approximations to Non-Recursive Functions
• Джамалбек Алиаскарович Тусупов, Обобщенная вычислимость на счетных булевых алгебрах
• Екатерина Борисовна Фокина, О степенях несчетно категоричных моделей с вычислимыми моделями
• Асылхан Назифович Хисамиев, Условия вычислимой вложимости и степени абелевых групп и булевых алгебр
• Зариф Гарифуллинович Хисамиев, О пополнениях арифметических нумераций
• Назиф Гарифуллинович Хисамиев, Виталий Анатольевич Романьков, Конструктивные матричные и упорядоченные группы