Просмотр кода страницы Перетятькин, Михаил Георгиевич


{{Учёный
| Имя                  = '''Михаил Георгиевич Перетятькин'''
| Оригинал имени       =
| Изображение          = 
| Ширина               = 
| Описание изображения = 
| Дата рождения        = 
| Место рождения       = 
| Дата смерти          = 
| Место смерти         = 
| Гражданство          = {{URS}}→{{KAZ}}
| Научная сфера        = [[математика]], [[математическая логика]], [[теория моделей]]
| Место работы         = Институт математики и математического моделирования Министерства образования и науки Республики Казахстан
| Альма-матер          = 
| Научный руководитель = Ю.Л. Ершов, Н.Г. Хисамиев
| Знаменитые ученики   = Б.И. Омаров, К.А. Мейрембеков
| Известен как         = специалист в области [[теория моделей|теории моделей]]
| Награды и премии     = 
| Сайт                 = 
}}
'''Михаил Георгиевич Перетятькин''' — казахстанский [[математик]], [[доктор наук|доктор физико-математических наук]] (1982) <ref>{{Cite web |url=https://search.rsl.ru/ru/record/01008791365 |title=Перетятькин, Михаил Георгиевич. Конечно аксиоматизируемые теории : диссертация ... доктора физико-математических наук : 01.01.06. - Алма-Ата, 1982. - 215 с. : ил. |access-date=2021-06-24 |archive-date=2021-06-24 |archive-url=https://web.archive.org/web/20210624211849/https://search.rsl.ru/ru/record/01008791365 |deadlink=no }}</ref>, [[профессор]], главный научный сотрудник института математики и математического моделирования.
[[Число Эрдёша]] — 4<ref>[https://mathscinet.ams.org/mathscinet/freetools/collab-dist?source=195957&target=189017 Collaboration Distance]</ref>.

==Научная деятельность==
===Основные результаты===
*Доказано, что для сильной конструктивизируемости однородной модели M полной разрешимой теории T вычислимость семейства S всех типов, реализуемых в M, недостаточна. Приводится соответствующий контрпример, а также точный критерий сильной конструктивизируемости M, включающий, кроме вычислимости S, некоторое условие эффективности для расширений типов из S.
*Опровергнута знаменитая гипотеза, упомянутая известной работе Майкла Морли, что теория, которая является <math>\aleph_1</math>-категоричной, но не <math>\aleph_0</math>-категоричной, не может быть конечно аксиоматизируемой<ref>{{Cite web |url=http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=al&paperid=1691&option_lang=rus |title=М. Г. Перетятькин, “Пример ω1-категоричной полной конечно-аксиоматизируемой теории”, Алгебра и логика, 19:3 (1980), 314–347 |access-date=2021-06-24 |archive-date=2021-06-25 |archive-url=https://web.archive.org/web/20210625035437/http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=al&paperid=1691&option_lang=rus |deadlink=no }}</ref>.
*Найдена характеризация обобщенных алгебр Линденбаума для исчислений предикатов конечных богатых сигнатур, что обобщает и усиливает известные результаты У. Ханфа.
*Установлено, что любая алгебраическая декартова интерпретация сохраняет свойство быть модельной полной теорией.

===Основные публикации===
*М. Г. Перетятькин, “О полных теориях с конечным числом счётных моделей”, Алгебра и логика, 12:5 (1973),  550–576  
*М. Г. Перетятькин, “Критерий сильной конструктивизируемости однородной модели”, Алгебра и логика, 17:4 (1978),  436–454 
*М. Г. Перетятькин, “Конечно аксиоматизируемые тотально трансцендентные теории”, Тр. Ин-та математики, 2 (1982),  88–135 
*М. Г. Перетятькин, “Семантически универсальные классы моделей”, Алгебра и логика, 30:4 (1991),  414–431 
*М. Г. Перетятькин, “Семантическая универсальность теорий над суперсписком”, Алгебра и логика, 31:1 (1992),  47–73
*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
*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
*M. G. Peretyat'kin, “The property of being a model complete theory is preserved by Cartesian extensions”, Сиб. электрон. матем. изв., 17 (2020),  1540–1551

==Награды==
*Награжден медалью Всесоюзного конкурса на лучшую научную работу студентов вузов по естественным и техническим наукам за работу "О сильно конструктивных моделях"<ref>{{Cite web |url=https://www.kaznu.kz/content/files/pages/folder6182/%D0%B8%D1%81%D1%82%D0%BE%D1%80%D0%B8%D1%8F%20%D0%BA%D0%B0%D1%84%D0%B5%D0%B4%D1%80%D1%8B.pdf |title=Кафедра геометрии, алгебры и математической логики |access-date=2021-06-24 |archive-date=2021-05-02 |archive-url=https://web.archive.org/web/20210502132831/https://www.kaznu.kz/content/files/pages/folder6182/%D0%B8%D1%81%D1%82%D0%BE%D1%80%D0%B8%D1%8F%20%D0%BA%D0%B0%D1%84%D0%B5%D0%B4%D1%80%D1%8B.pdf |deadlink=no }}</ref>.
== См. также ==
* [[Байжанов, Бектур Сембиевич|Бектур Сембиевич Байжанов]]
*[[Хисамиев, Назиф Гарифуллинович|Назиф Гарифуллинович Хисамиев]]
*[[Омаров, Амангельды Искакович|Амангельды Искакович Омаров]]
*[[Мустафин, Толенды Гарифович|Толенды Гарифович Мустафин]]

== Примечания ==
{{примечания}}

== Ссылки ==
* [http://www.math.kz/category/otdel-angoem Институт математики и математического моделирования]
* [http://www.mathnet.ru/rus/person24099 Общероссийский портал Math-Net.Ru]


[[Категория:Математики СССР]]
[[Категория:Доктора физико-математических наук]]
[[Категория:Математики Казахстана]]
[[Категория:Математики XX века]]
[[Категория:Учёные Казахстана]]


{{bio-stub}}