В. Г. Пузаренко
О свойствах некоторых допустимых множеств (продолжение).
Архив семинара
В. Г. Пузаренко
О свойствах некоторых допустимых множеств (продолжение).
Аннотация
Для наследственно конечных надстроек, упомянутых в докладе автора на Мальцевских чтениях, описывается наличие/отсутствие свойств таких, как униформизация, редукция, наличие универсальной функции, отделимость и продолжимость.В. Г. Пузаренко
О свойствах некоторых допустимых множеств.
Аннотация
Для наследственно конечных надстроек, упомянутых в докладе автора на Мальцевских чтениях, описывается наличие/отсутствие свойств таких, как униформизация, редукция, наличие универсальной функции, отделимость и продолжимость.И. В. Латкин (Усть-Каменогорск, Казахстан)
Определимость вычислений на машинах Тьюринга булевыми формулами (продолжение).
И. В. Латкин (Усть-Каменогорск, Казахстан)
Определимость вычислений на машинах Тьюринга булевыми формулами.
В. Г. Пузаренко
О счетно категоричных теориях, 2 (продолжение).
Аннотация
Строится еще один пример разрешимой счетно категоричной теории, все несчетные структуры которой не определяются эффективно над плотным линейным порядком.В. Г. Пузаренко
О счетно категоричных теориях, 2.
Аннотация
Строится еще один пример разрешимой счетно категоричной теории, все несчетные структуры которой не определяются эффективно над плотным линейным порядком.Информация о семинаре
Руководители:
акад. С. С. Гончаров, акад. Ю. Л. Ершов, д.ф.-м.н. А. С. Морозов
Время и место проведения:
Вторник, 18.10 ч., фойе конференц-зала ИМ
