Morozov, Andrej Sergejevič

Andrey Sergeevich Morozov  - sovětský a ruský matematik , specialista na teorii vyčíslitelnosti, doktor fyzikálních a matematických věd , profesor , hlavní vědecký pracovník Ústavu matematiky. S. L. Soboleva, slavný vědec sibiřské školy algebry a logiky .

Vzdělávání

1990 - doktor fyzikálních a matematických věd, Ústav matematiky, Novosibirsk (schváleno Vyšší atestační komisí SSSR v roce 1991)

1983 - kandidát fyzikálních a matematických věd, školitel S.S. Gončarov.

1976-1981 — Matematická fakulta Novosibirské státní univerzity

Vědecká činnost

TAK JAKO. Morozov je autorem klasifikace spočetných homogenních booleovských algeber.

Hlavní výsledky

• TAK JAKO. Morozov zkonstruoval teorii vyčíslitelné symetrie na vypočitatelných modelech založených na jejich skupinách vypočitatelných automorfismů. Zejména získal přesné odhady složitosti teorií tříd grup vypočitatelných automorfismů, stanovil řadu důležitých algebraických a modelově teoretických vlastností této třídy grup.

• Vyřešil otázku G. Higmana o konečně generovaných podgrupách vyčíslitelné permutační grupy. Prokázal Pi-1-1-úplnost problémů tuhosti, izomorfismu a vnořitelnosti.

• Spolu s A. Neesem prokázal Pi-1-1-úplnost teorie konečně generovaných grup.

• S pomocí teorie konstruktivních modelů a klasické teorie modelů vyřešil problémy Bergstra-Tuckera a Bergstra-Tyurina, které vznikly v teoretické informatice.

Hlavní publikace

• A. S. Morozov, „Countable homogeneous Boolean algebras“, Algebra i Logika, 21:3 (1982), 269–282
• A. S. Morozov, „Skupiny rekurzivních automorfismů konstruktivních booleovských algeber“, Algebra i Logika, 22:2 (1983), 138–158
• A. S. Morozov, „Automorfismy konstruktivizací booleovských algeber“, Sibirsk. matematika. j., 26:4 (1985), 98-110
• A. S. Morozov, „O otázce Bergstra a Tyurin“, Algebra i Logika, 25:5 (1986), 566–583
• A. S. Morozov, „O otázce Higmana“, Algebra i Logika, 29:1 (1990), 29–34
• P. Koepke, A. S. Morozov, „O výpočetních schopnostech strojů Blum–Shub–Smale pracujících v nekonečném čase“, Algebra i Logic, 56:1 (2017), 55–92
• N. Kh. Kasymov, A. S. Morozov, I. A. Chodjamuratova, „O T1-oddělitelných číslování podpřímo nerozložitelných algeber“, Algebra Logic, 60:4 (2021), 400–424
• A. S. Morozov, D. A. Tusupov, „Minimální predikáty s ohledem na Δ-definovatelnost“, Algebra Logic, 59:4 (2020), 480–499

Poznámky

1. ↑ Matematická geneologie . Získáno 1. března 2022. Archivováno z originálu dne 1. března 2022. (neurčitý)

Odkazy

Matematický portál

Ústav matematiky. S.L. Sobolev

Mehmat NSU