Morozov, Andrej Szergejevics

Andrej Szergejevics Morozov  - szovjet és orosz matematikus , a kiszámíthatóság elméletének szakértője, a fizikai és matematikai tudományok doktora , professzor , a Matematikai Intézet vezető kutatója. S. L. Soboleva, a szibériai algebrai és logikai iskola híres tudósa .

Oktatás

1990 - Fizikai és matematikai tudományok doktora, Matematikai Intézet, Novoszibirszk (1991-ben hagyta jóvá a Szovjetunió Felsőbb Tanúsító Bizottsága)

1983 – a fizikai és matematikai tudományok kandidátusa, témavezető S.S. Goncsarov.

1976-1981 – Novoszibirszki Állami Egyetem Matematikai Kara

Tudományos tevékenység

MINT. Morozov a megszámlálható homogén Boole-algebrák osztályozásának szerzője.

Fő eredmények

• MINT. Morozov felépítette a kiszámítható szimmetria elméletét a kiszámítható modelleken a kiszámítható automorfizmusok csoportjai alapján. Pontos becsléseket kapott a kiszámítható automorfizmusok csoportjaira vonatkozó elméletek összetettségére vonatkozóan, és megállapította a csoportok ezen osztályának számos fontos algebrai és modellelméleti tulajdonságát.

• Megoldotta G. Higman kérdését a kiszámítható permutációs csoport véges generált alcsoportjairól. Bebizonyította a merevségi, izomorfizmus- és beágyazhatósági problémák Pi-1-1-teljességét.

• A. Nees-szel együtt bebizonyította a véges generált csoportok elméletének Pi-1-1-teljességét.

• A konstruktív modellek elmélete és a klasszikus modellelmélet segítségével megoldotta Bergstra-Tucker és Bergstra-Tyurin elméleti számítástechnikában felmerült problémáit.

Főbb publikációk

• A. S. Morozov, „Megszámlálható homogén Boole-algebrák”, Algebra i Logika, 21:3 (1982), 269–282
• A. S. Morozov, „A konstruktív Boole-algebrák rekurzív automorfizmusainak csoportjai”, Algebra i Logika, 22:2 (1983), 138–158
• A. S. Morozov, „A Boole-algebrák konstruktivizálásának automorfizmusai”, Szibirszk. matematika. j., 26:4 (1985), 98–110
• A.S. Morozov, „Bergstra és Tyurin kérdéséről”, Algebra i Logika, 25:5 (1986), 566–583
• A. S. Morozov, „On a question of Higman”, Algebra i Logika, 29:1 (1990), 29–34
• P. Koepke, A. S. Morozov, „A végtelen időben működő Blum–Shub–Smale gépek számítási képességeiről”, Algebra i Logic, 56:1 (2017), 55–92
• N. Kh. Kasymov, A. S. Morozov, I. A. Khodjamuratova, „On T1-separable numberings of Subdirectly indekomposable algebras”, Algebra Logic, 60:4 (2021), 400–424
• A. S. Morozov, D. A. Tusupov, „Minimális predikátumok a Δ-definiálhatóság tekintetében”, Algebra Logic, 59:4 (2020), 480–499

Jegyzetek

1. ↑ Matematikai geneológia . Letöltve: 2022. március 1. Az eredetiből archiválva : 2022. március 1. (határozatlan)

Linkek

Matematikai portál

Matematikai Intézet. S.L. Szobolev

Mehmat NSU