Перетятькин Михаил Георгиевич

Публикации в базе данных Math-Net.Ru

1. The Tarski–Lindenbaum algebra of the class of prime models with infinite algorithmic dimensions having omega-stable theories
   
   Сиб. электрон. матем. изв., 21:1 (2024),  277–292
2. Виртуальные алгебраические изоморфизмы между исчислениями предикатов конечных богатых сигнатур
   
   Алгебра и логика, 60:6 (2021),  587–611
3. The property of being a model complete theory is preserved by Cartesian extensions
   
   Сиб. электрон. матем. изв., 17 (2020),  1540–1551
4. The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one
   
   Сиб. электрон. матем. изв., 17 (2020),  913–922
5. Комбинаторика первого порядка и теоретико-модельные свойства, различимые на парах взаимно интерпретируемых теорий
   
   Матем. тр., 18:2 (2015),  61–92
6. Семантическая универсальность теорий над суперсписком
   
   Алгебра и логика, 31:1 (1992),  47–73
7. Аналогии теоремы Райса для семантических классов предложений
   
   Алгебра и логика, 30:5 (1991),  517–539
8. Семантически универсальные классы моделей
   
   Алгебра и логика, 30:4 (1991),  414–431
9. Несчетно категоричное квазиследование ранга Морли 3
   
   Алгебра и логика, 30:1 (1991),  74–89
10. Подобие свойств рекурсивно перечислимых и конечно аксиоматизируемых теорий
    
    Докл. АН СССР, 308:4 (1989),  788–791
11. Вычисления на машинах Тьюринга в конечно-аксиоматизируемых теориях
    
    Алгебра и логика, 21:4 (1982),  410–441
12. Конечно аксиоматизируемые тотально трансцендентные теории
    
    Тр. Ин-та математики, 2 (1982),  88–135
13. Пример $\omega _{1}$-категоричной полной конечно-аксиоматизируемой теории
    
    Алгебра и логика, 19:3 (1980),  314–347
14. О теориях с тремя счетными моделями
    
    Алгебра и логика, 19:2 (1980),  224–235
15. Критерий сильной конструктивизируемости однородной модели
    
    Алгебра и логика, 17:4 (1978),  436–454
16. О полных теориях с конечным числом счётных моделей
    
    Алгебра и логика, 12:5 (1973),  550–576
17. Сильно конструктивная модель без элементарных подмоделей и расширений
    
    Алгебра и логика, 12:3 (1973),  312–322
18. Каждое рекурсивно-перечислимое расширение теории линейного порядка имеет конструктивную модель
    
    Алгебра и логика, 12:2 (1973),  211–219
19. Сильно конструктивные модели и нумерации булевой алгебры рекурсивных множеств
    
    Алгебра и логика, 10:5 (1971),  535–557


20. Тайманов Асан Дабсович (некролог)
    
    УМН, 45:5(275) (1990),  171–173