?
О наследственно неразрешимых фрагментах базовых элементарных теорий
Математические заметки. 2025. Т. 118. № 1. С. 77–90.
Карпов В. Е., Speranski S. O.
Pahomov F., Zapryagaev A., Logic Journal of the IGPL 2026 Vol. 34 No. 4 Article jzag045
We prove the linear orders first-order definable in the standard model (Z;<,+) of Presburger arithmetic are exactly those that are (Z;<,+)-definably embeddable into the lexicographic ordering on Z^n for some n. ...
Added: July 16, 2026
Rybakov M., Серова Д. А., В кн.: Международная конференция Мальцевские чтения: 11–15 ноября 2024 г.: тезисы докладов.: [б.и.], 2024. С. 45–45.
Представлены результаты о неразрешимости фрагментов предикатной логики Гёделя--Дамметта и её расширений. ...
Added: November 17, 2024
Rybakov M., В кн.: IV Конференция математических центров России. Сборник тезисов.: [б.и.], 2024. С. 151–152.
Решена проблема алгоритмической разрешимости логики QLC в языке с двумя предметными переменными. ...
Added: August 15, 2024
Zapryagaev A., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 510 С. 3–7
Büchi arithmetics BAn, , are extensions of Presburger arithmetic with an unary functional symbol
denoting the largest power of n that divides x. Definability of a set in BAn is equivalent to its recognizability
by a finite automaton receiving numbers in their n-ary expansion. We consider the interpretations of Presburger
Arithmetic in the standard model of BAn and ...
Added: July 27, 2023
Buchstaber V., Ероховец Н. Ю., Известия РАН. Серия математическая 2017 Т. 81 № 5 С. 15–91
Работа посвящена описанию комбинаторики трех семейств простых 3-мерных многогранников, играющих важную роль в разных задачах алгебраической топологии, гиперболической геометрии, теории графов и их приложений. Первое семейство P⩽6 состоит из простых многогранников с не более чем 6-угольными гранями. Второе семейство Ppog состоит из многогранников Погорелова. Третье семейство F состоит из фуллеренов и является пересечением первых двух семейств. Показано, что в случае фуллеренов имеют место более сильные результаты, ...
Added: June 18, 2021
Rybakov M., В кн.: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г.: М.: Современные тетради, 2017. С. 41–43.
We consider first-order modal logics with unary predicate letters only. We show that any sublogic of QS5, QGL, or QGrz is undecidable in the language with just one unary predicate letter. Some near questions will be discussed. ...
Added: October 7, 2019
Zolin E., Journal of Logic and Computation 2017 Vol. 27 No. 5 P. 1399–1420
We extend the language of the modal logic K4 of transitive frames with two sorts of modalities. In addition to the usual possibility modality (which means that a formula holds in some successor of a given point), we consider graded modalities (a formula holds in at least n successors) and converse graded modalities (aformula holds ...
Added: June 14, 2018
Radina N., Porshnev A., Психология. Журнал Высшей школы экономики 2014 Т. 11 № 2 С. 90–119
В статье обсуждается обращение к герменевтике и герменевтическому анализу в российской социогуманитаристике и, в частности, в психологии. Представлены некоторые закономерности понимания текстов на основе интеграции качественного подхода, представленного герменевтическим анализом, и количественного, представленного методами математической обработки категориальных данных. ...
Added: April 14, 2014