Morozov, Andrey Sergeevich

Andrey Sergeevich Morozov  - sovjetisk og russisk matematiker , specialist i teorien om beregningsevne, doktor i fysiske og matematiske videnskaber , professor , chefforsker ved Institut for Matematik. S. L. Soboleva, en berømt videnskabsmand fra den sibiriske skole for algebra og logik .

Uddannelse

1990 - Doctor of Physical and Mathematical Sciences, Institute of Mathematics, Novosibirsk (godkendt af USSR Higher Attestation Commission i 1991)

1983 - Kandidat for fysisk og matematisk videnskab, vejleder S.S. Goncharov.

1976-1981 — Det Matematiske Fakultet, Novosibirsk State University

Videnskabelig aktivitet

SOM. Morozov er forfatteren til klassificeringen af ​​tællelige homogene boolske algebraer.

Hovedresultater

• SOM. Morozov konstruerede en teori om beregnelig symmetri på beregnelige modeller baseret på deres grupper af beregnelige automorfismer. Især opnåede han nøjagtige skøn for kompleksiteten af ​​teorier om klasser af grupper af beregnelige automorfier, etablerede en række vigtige algebraiske og modelteoretiske egenskaber for denne gruppe af grupper.

• Løste G. Higmans spørgsmål om endeligt genererede undergrupper af den beregnelige permutationsgruppe. Han beviste Pi-1-1-fuldstændigheden af ​​problemerne med stivhed, isomorfisme og indlejring.

• Sammen med A. Nees beviste han Pi-1-1-fuldstændigheden af ​​teorien om endeligt genererede grupper.

• Ved hjælp af teorien om konstruktive modeller og den klassiske teori om modeller løste han problemerne med Bergstra-Tucker og Bergstra-Tyurin, som opstod i teoretisk datalogi.

Større publikationer

• A. S. Morozov, "Countable homogene Boolean algebras", Algebra i Logika, 21:3 (1982), 269-282
• A. S. Morozov, "Groups of recursive automorphisms of constructive Boolean algebras", Algebra i Logika, 22:2 (1983), 138-158
• A. S. Morozov, "Automorphisms of constructivizations of Boolean algebras", Sibirsk. matematik. j., 26:4 (1985), 98-110
• A. S. Morozov, "On a question of Bergstra and Tyurin", 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, "Om beregningsmulighederne for Blum-Shub-Smale-maskiner, der opererer i uendelig tid", Algebra i Logic, 56:1 (2017), 55-92
• N. Kh. Kasymov, A. S. Morozov, I. A. Khodjamuratova, "On T1-separable numberings of subdirectly indecomposable algebras", Algebra Logic, 60:4 (2021), 400-424
• A. S. Morozov, D. A. Tusupov, "Minimumsprædikater med hensyn til Δ-definerbarhed", Algebra Logic, 59:4 (2020), 480-499

Noter

1. ↑ Matematisk geneologi . Hentet 1. marts 2022. Arkiveret fra originalen 1. marts 2022. (ubestemt)

Links

Matematik portal

Institut for Matematik. S.L. Sobolev

Mehmat NSU