22 декабря 2021 г.
Б. С. Байжанов, Т. С. Замбарная
Constructing models of small ordered theories with maximal countable spectrum (продолжение).
15 декабря 2021 г.
Б. С. Байжанов, Т. С. Замбарная
Constructing models of small ordered theories with maximal countable spectrum (продолжение).
8 декабря 2021 г.
Б. С. Байжанов, Т. С. Замбарная
Constructing models of small ordered theories with maximal countable spectrum.
1 декабря 2021 г.
И. К. Уктамалиев реферирует статью:
A. Stonestrom, Some model theory of Th($\mathbb N$,•) (окончание).
24 ноября 2021 г.
И. К. Уктамалиев реферирует статью:
A. Stonestrom, Some model theory of Th($\mathbb N$,•) (продолжение).
17 ноября 2021 г.
И. К. Уктамалиев реферирует статью:
A. Stonestrom, Some model theory of Th($\mathbb N$,•) (продолжение).
10 ноября 2021 г.
И. К. Уктамалиев реферирует статью:
A. Stonestrom, Some model theory of Th($\mathbb N$,•) (продолжение).
3 ноября 2021 г.
С. Б. Малышев
О геометрических свойствах кубических теорий.
И. К. Уктамалиев реферирует статью:
A. Stonestrom, Some model theory of Th($\mathbb N$,•)
8 сентября 2021 г.
С. В. Судоплатов
Арности теорий и их динамика.
19 мая 2021 г.
Д. Ю. Власов
Прямая реализация семантического программирования и общая функциональная семантика для логических, алгебраических и функциональных операторов.
21 апреля 2021 г.
Д. Ю. Емельянов
Алгебры бинарных изолирующих формул (кандидатская диссертация; научные руководители Б. Ш. Кулпешов, С. В. Судоплатов).
Н. Д. Мархабатов
Теоретико-модельные и топологические свойства семейств теорий (кандидатская диссертация, научный руководитель С. В. Судоплатов).
31 марта 2021 г.
А. Б. Даулетиярова реферирует статью:
R. Mennuni, Weakly binary expansions of dense meet-trees (продолжение).
24 марта 2021 г.
А. Б. Даулетиярова реферирует статью: R. Mennuni,
Weakly binary expansions of dense meet-trees (продолжение).
17 марта 2021 г.
Н. Д. Мархабатов реферирует статью:
Antongiulio Fornasiero, Locally o-minimal structures and structures with locally $o$-minimal open core // Annals of Pure and Applied Logic, 164 (2013), 211–229. (продолжение).
3 марта 2021 г.
Н. Д. Мархабатов реферирует статью:
Antongiulio Fornasiero, Locally $o$-minimal structures and structures with locally $o$-minimal open core (Annals of Pure and Applied Logic, 164 (2013), 211–229).
24 февраля 2021 г.
Н. С. Романовский
Ранг Морли метабелевой делимой жёсткой группы (продолжение).
17 февраля 2021 г.
Н. С. Романовский
Ранг Морли метабелевой делимой жёсткой группы.
10 февраля 2021 г.
А. Б. Даулетиярова реферирует статью:
R. Mennuni, Weakly binary expansions of dense meet-trees. |