?
Generalised imaginaries and Galois cohomology
Journal of Symbolic Logic. 2016. Vol. 81. No. 3. P. 917–935.
Сустретов Д. А.
Ключевые слова: model theory
Гаврилович М. Р., Communications in Algebra 2020 Vol. 48 No. 4 P. 1548–1566
Добавлено: 29 октября 2020 г.
Родин А. В., , in: Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts.: Springer, 2019. Ch. 9 P. 191–219.
Добавлено: 30 октября 2019 г.
Сустретов Д. А., Zilber B., Solanki V., Annals of Pure and Applied Logic 2014 Vol. 165 No. 6 P. 1149–1168
Добавлено: 18 октября 2018 г.
Золин Е. Е., Logic Journal of the IGPL 2015 Vol. 23 No. 6 P. 861–880
Доказан локальный аналог теоремы Гольдблатта-Томасона о характеризации модально определимых классов шкал Крипке с выделенной точкой; результат также обобщен на случай шкал с несколькими выделенными точками. Дается сравнение результатов с подобными результатами для гибридной модальной логики; формулируются открытые вопросы. ...
Добавлено: 14 июня 2018 г.
Улан-Удэ: Издательство Бурятского госуниверситета, 2017.
Сборник содержит материалы 5-й школы-семинара «Синтаксис и семантика логических систем», проходившей в Улан-Удэ с 8 по 12 августа 2017 г. Тематика конференции включает следующие направления: теория моделей и универсальная алгебра; теория булевых и конечнозначных функций; формальные языки и логические исчисления; математическая логика в образовании; ...
Добавлено: 22 сентября 2017 г.
Гаврилович М. Р., Bays M., Hils M., International Mathematics Research Notices 2014 Vol. 14 P. 3927–4000
Добавлено: 23 октября 2015 г.
Гаврилович М. Р., Hasson A., Israel Journal of Mathematics 2015 Vol. 209
Добавлено: 20 октября 2015 г.