25 декабря 2013 г.
К. А. Байкалова
О числе предельных и простых над конечными множествами моделей теорий локально свободных алгебр (продолжение).
11 декабря 2013 г.
К. А. Байкалова
О числе предельных и простых над
конечными множествами моделей теорий
локально свободных алгебр.
4 декабря 2013 г.
М. В. Швидефски
Сложность решеток квазимногообразий.
27 ноября 2013 г.
Р. А. Попков продолжает реферировать статью:
J. T. Baldwin, A. R. Blass, M. W. Glass, and D. W. Kueker, A "natural" theory without a prime model, Algebra Universalis, vol. 3 (1973), pp. 152-155.
20 ноября 2013 г.
Р. А. Попков реферирует статью:
J. T. Baldwin, A. R. Blass, M. W. Glass, and D. W. Kueker, A `natural' theory without a prime model, Algebra Universalis, vol. 3 (1973), pp. 152-155.
16 октября 2013 г.
А. А. Викентьев
Модельные метрики на многозначных формулах и меры достоверности в алгоритмах кластеризации логических знаний.
Р. А. Попков
Распределение счетных моделей теории аддитивной группы целых чисел.
9 октября 2013 г.
Е. А. Палютин
Число P-обогащений абелевых групп (продолжение).
2 октября 2013 г.
Е. А. Палютин
Число P-обогащений абелевых групп.
29 мая 2013 г.
С. В. Судоплатов
Проблема Лахлана (продолжение).
22 мая 2013 г.
С. В. Судоплатов
Проблема Лахлана.
15 мая 2013 г.
Д. Ю. Власов
Структура несовместных множеств предложений.
24 апреля 2013 г.
М. Г. Перетятькин (Алматы, Казахстан)
Конечная комбинаторика первого порядка и существующие подходы в теории моделей.
17 апреля 2013 г.
Е. А. Палютин
P-спектры абелевых групп (продолжение).
10 апреля 2013 г.
Е. А. Палютин
P-спектры абелевых групп (продолжение).
3 апреля 2013 г.
Е. А. Палютин
P-спектры абелевых групп.
6 марта 2013 г.
Д. Ю. Власов
Семантика формальных дедуктивных систем.
13 февраля 2013 г.
Р. А. Попков, С. В. Судоплатов
Оператор порождения предпорядков
Рудин-Кейслера в классе теорий с
континуальным числом типов.
6 февраля 2013 г.
А. Г. Пинус
Определимые функции на универсальных алгебрах. |