Amangeldy Iskakovich Omarov | |
---|---|
Amangeldi Yskakuly Omarov | |
Fødselsdato | 1. november 1940 |
Fødselssted | Ushtobe , Taldy-Kurgan Oblast , Kazakh SSR , USSR |
Dødsdato | 8. oktober 2007 (66 år) |
Et dødssted | Alma-Ata , Kasakhstan |
Land | USSR → Kasakhstan |
Videnskabelig sfære | matematik , matematisk logik , modelteori |
Arbejdsplads | Kazakh National University |
Alma Mater | Novosibirsk State University |
Akademisk grad | Doktor i fysiske og matematiske videnskaber |
videnskabelig rådgiver | Taimanov Asan Dabsovich |
Studerende |
Dosanbay Perdebek Tolepbergenuly Nauryzbaev Kim Aldashevich |
Kendt som | specialist i matematisk logik |
Amangeldy Iskakovich Omarov ( 1. november 1940 , Ushtobe - 8. oktober 2007 , Alma-Ata ) - Kasakhisk videnskabsmand , specialist inden for matematisk logik , doktor i fysiske og matematiske videnskaber , professor .
Født den 20. oktober i byen Ush-Tobe, Karatal-distriktet , Taldy-Kurgan-regionen .
Han døde den 8. oktober 2007 [2] .
AI Omarovs videnskabelige interesser relaterer sig til forskellige områder af matematisk logik og universel algebra . Akademiker fra USSR 's Videnskabsakademi A.I. Maltsev og akademiker fra Videnskabsakademiet i den kasakhiske SSR A.D. Taimanov stod ved oprindelsen af denne retning . I hans ph.d.-afhandling blev mange velkendte resultater fra modelteorien ( den lokale sætning af Maltsev og andre) opnået på ny og på en ensartet måde , et algebraisk bevis på den klassiske Ehrenfeucht -Mostowski-sætning. blev fundet (forfatteren til den grundlæggende monografi "Automorphism groups of algebraic systems" af B. I. Plotkin) og en række nye resultater, der styrker resultaterne af M. McKay.
E. A. Palyutin introducerede i sin forskning en ny klasse af formler, som kaldes klassen af P-formler. A. I. Omarov viste, at der kun er tre klasser af filtreringsformler:
1. alle formler er filtreret af ultrafilteret (Loss sætning);
2. formler filtreret i kartesiske produkter - multiplikative formler;
3. formler filtreret af filtre, der indeholder et ikke-atomart element - P-formler.
I doktorafhandlingen af A. I. Omarov er den mest komplekse tredje klasse af formler syntaktisk beskrevet. Han ejer mere end halvtreds videnskabelige artikler, hvoraf de fleste er publiceret i de centrale udgaver af USSR og Kasakhstan . Under vejledning af A. I. Omarov blev tre ph.d.-afhandlinger forsvaret.
A. I. Omarov opnåede grundlæggende resultater i studiet af forskellige konstruktioner, der er i krydsfeltet mellem modelteori og universel algebra:
- ultraprodukter, ultragrænser , filtrerede produkter og beføjelser, generaliserede produkter, booleske produkter;
— undersøgelse af mætning og ligningskompakthed af modeller og relateret undersøgelse af specifikke klasser af algebraiske systemer
— Booleske algebraer og distributive gitter;
— studiet af hornklasser af algebraiske systemer og den syntaktiske beskrivelse af klassen af filtreringsformler.
AI Omarov har store fordele i oprettelsen af den nationale skole for matematisk logik. Efter Novosibirsk Universitet begyndte han sammen med N. G. Khisamiyev og T. G. Mustafin at undervise ved Kazakh State University. Unge videnskabsmænd var i stand til at tiltrække talentfulde unge mennesker til et nyt videnskabsområde. Mange kandidater fra KazGU er M. G. Peretyatkin, V. P. Dobritsa, A. T. Nurtazin, B. N. Drobotun, M. I. Bekenov, M. M. Erimbetov, B. S. Baizhanov, K. A. Meirembekov, B. Omarov, K. Zh. Kudaibergic, og andre blev velkendte i log-hema, og andre blev velkendte i logen. og A. I. Omarov spillede en stor rolle i deres udvikling.
Nu har den indenlandske skole for matematisk logik modtaget international anerkendelse og har bånd med videnskabsmænd fra Frankrig , England , USA , Tyskland , Italien , støttet af fælles videnskabelige projekter, legater, videnskabelig udveksling, fælles videnskabelige konferencer. [3]
1. På kompakte klasser af modeller // Algebra og logik. Novosibirsk, 1967. - V.6, udg. 2. - S. 49 - 60.
2. På filtrerede produkter af modeller // Algebra og Logik. - Novosibirsk, 1967. Bind 6, nr. 3. - S.77 - 90.
3. Filtrerede produkter i modelteori // Abstracts of the 8th Vsesoyuz. kollokvium om generel algebra. Riga, 1967. - Riga, 1967. - S. 95
4. Mætning af booleske algebraer // Sibir. måtte. tidsskrift - 1974. - T.15, N 6. - S. 1414-1415.
5. På B-adskillelige algebraer // Algebra og logik. - Novosibirsk, 1986.-T.25, N 3. - S. 315-325.
6. Nogle bemærkninger om varianter af algebraer // USh Vsesoyuz. konf. om matematisk logik, Moskva, 1986. - M., 1986. S. 145
7. 0 lokalt endelige tælleligt kategoriske Hornteorier // Algebra og Logik. - Novosibirsk, 1989.- T.28, N 4.- S. 444-453.
8. Syntaktisk beskrivelse af filtreringsformler//Dokl. USSR's Videnskabsakademi.- 1991.- T. 319, N 1. - S. 58 - 60
9. Filtrering af formler // Algebra og logik. - Novosibirsk, 1991. - T. 30, N 6. - S. 693-704
10. Den syntaktiske beskrivelse af filtrerede formler // Paris 7 logique CNRS N 34 Comptes - Rendus au Colloque CNRM 27. januar - februar 1992. - Paris, 1992. - S. 13-15
11. Multiplikative formler // Algebra og logik. - Novosibirsk, 1993. - T. 32, N 2. S. 136-144