|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2021 |
| 1. |
М. Г. Перетятькин, “Виртуальные алгебраические изоморфизмы между исчислениями предикатов конечных богатых сигнатур”, Алгебра и логика, 60:6 (2021), 587–611  |
|
2020 |
| 2. |
M. G. Peretyat'kin, “The property of being a model complete theory is preserved by Cartesian extensions”, Сиб. электрон. матем. изв., 17 (2020), 1540–1551  |
2
|
| 3. |
M. G. Peretyat'kin, “The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one”, Сиб. электрон. матем. изв., 17 (2020), 913–922 |
|
2015 |
| 4. |
М. Г. Перетятькин, “Комбинаторика первого порядка и теоретико-модельные свойства, различимые на парах взаимно интерпретируемых теорий”, Матем. тр., 18:2 (2015), 61–92   ; M. G. Peretyat'kin, “First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories”, Siberian Adv. Math., 26:3 (2016), 196–214 |
3
|
|
1992 |
| 5. |
М. Г. Перетятькин, “Семантическая универсальность теорий над суперсписком”, Алгебра и логика, 31:1 (1992), 47–73 |
1
|
|
1991 |
| 6. |
М. Г. Перетятькин, “Аналогии теоремы Райса для семантических классов предложений”, Алгебра и логика, 30:5 (1991), 517–539 |
7
|
| 7. |
М. Г. Перетятькин, “Семантически универсальные классы моделей”, Алгебра и логика, 30:4 (1991), 414–431 |
7
|
| 8. |
М. Г. Перетятькин, “Несчетно категоричное квазиследование ранга Морли 3”, Алгебра и логика, 30:1 (1991), 74–89 ; M. G. Peretyat'kin, “Uncountably categorical quasisuccession of Morley rank 3”, Algebra and Logic, 30:1 (1991), 51–61 |
3
|
|
1989 |
| 9. |
М. Г. Перетятькин, “Подобие свойств рекурсивно перечислимых и конечно аксиоматизируемых теорий”, Докл. АН СССР, 308:4 (1989), 788–791  ; M. G. Peretyat'kin, “The similarity of properties of recursively enumerable and
finitely axiomatizable theories”, Dokl. Math., 40:2 (1990), 372–375 |
1
|
|
1982 |
| 10. |
М. Г. Перетятькин, “Вычисления на машинах Тьюринга в конечно-аксиоматизируемых теориях”, Алгебра и логика, 21:4 (1982), 410–441 |
1
|
| 11. |
М. Г. Перетятькин, “Конечно аксиоматизируемые тотально трансцендентные теории”, Тр. Ин-та математики, 2 (1982), 88–135 |
|
1980 |
| 12. |
М. Г. Перетятькин, “Пример $\omega _{1}$-категоричной полной конечно-аксиоматизируемой теории”, Алгебра и логика, 19:3 (1980), 314–347 |
1
|
| 13. |
М. Г. Перетятькин, “О теориях с тремя счетными моделями”, Алгебра и логика, 19:2 (1980), 224–235 |
6
|
|
1978 |
| 14. |
М. Г. Перетятькин, “Критерий сильной конструктивизируемости однородной модели”, Алгебра и логика, 17:4 (1978), 436–454 |
4
|
|
1973 |
| 15. |
М. Г. Перетятькин, “О полных теориях с конечным числом счётных моделей”, Алгебра и логика, 12:5 (1973), 550–576 |
8
|
| 16. |
М. Г. Перетятькин, “Сильно конструктивная модель без элементарных подмоделей и расширений”, Алгебра и логика, 12:3 (1973), 312–322 |
| 17. |
М. Г. Перетятькин, “Каждое рекурсивно-перечислимое расширение теории линейного порядка имеет конструктивную модель”, Алгебра и логика, 12:2 (1973), 211–219 |
1
|
|
1971 |
| 18. |
М. Г. Перетятькин, “Сильно конструктивные модели и нумерации булевой алгебры рекурсивных множеств”, Алгебра и логика, 10:5 (1971), 535–557 |
3
|
|
|
|
1990 |
| 19. |
С. С. Гончаров, Ю. Л. Ершов, М. М. Лаврентьев, Л. Л. Максимова, Т. Г. Мустафин, С. П. Новиков, Е. А. Палютин, М. Г. Перетятькин, Ю. Г. Решетняк, Д. М. Смирнов, “Тайманов Асан Дабсович (некролог)”, УМН, 45:5(275) (1990), 171–173 ; S. S. Goncharov, Yu. L. Ershov, M. M. Lavrent'ev, L. L. Maksimova, T. G. Mustafin, S. P. Novikov, E. A. Palyutin, M. G. Peretyat'kin, Yu. G. Reshetnyak, D. M. Smirnov, “Asan Dabsovich Taimanov (obituary)”, Russian Math. Surveys, 45:5 (1990), 213–215 |
1
|
|
Обратная связь: