Morozov, Andrey Sergeevich

Andrey Sergeevich Morozov  - sovjetisk och rysk matematiker , specialist i teorin om beräkningsbarhet, doktor i fysikaliska och matematiska vetenskaper , professor , chefsforskare vid Matematikinstitutet. S. L. Soboleva, en berömd vetenskapsman från den sibiriska skolan för algebra och logik .

Utbildning

1990 - Doktor i fysikaliska och matematiska vetenskaper, Institutet för matematik, Novosibirsk (godkänd av USSR Higher Attestation Commission 1991)

1983 - Kandidat för fysikaliska och matematiska vetenskaper, handledare S.S. Goncharov.

1976-1981 — Matematiska fakulteten, Novosibirsk State University

Vetenskaplig verksamhet

SOM. Morozov är författaren till klassificeringen av räknebara homogena booleska algebror.

Huvudresultat

• SOM. Morozov konstruerade en teori om beräkningsbar symmetri på beräkningsbara modeller baserat på deras grupper av beräkningsbara automorfismer. I synnerhet fick han exakta uppskattningar för komplexiteten i teorier om klasser av grupper av beräkningsbara automorfismer, etablerade ett antal viktiga algebraiska och modellteoretiska egenskaper hos denna klass av grupper.

• Löste G. Higmans fråga om ändligt genererade undergrupper av den beräkningsbara permutationsgruppen. Han bevisade Pi-1-1-fullständigheten av styvhet, isomorfism och inbäddningsproblem.

• Tillsammans med A. Nees bevisade han Pi-1-1-fullständigheten av teorin om ändligt genererade grupper.

• Med hjälp av teorin om konstruktiva modeller och den klassiska teorin om modeller löste han de problem med Bergstra-Tucker och Bergstra-Tyurin som uppstod inom teoretisk datavetenskap.

Stora publikationer

• A. S. Morozov, "Countable homogeneous Boolean algebras", Algebra i Logika, 21:3 (1982), 269–282
• A. S. Morozov, "Groups of rekursiva 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 beräkningskapaciteten hos Blum–Shub–Smale-maskiner som arbetar i oändlig 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, "Minimum predikat med avseende på Δ-definierbarhet", Algebra Logic, 59:4 (2020), 480–499

Anteckningar

1. ↑ Matematisk geneologi . Hämtad 1 mars 2022. Arkiverad från originalet 1 mars 2022. (obestämd)

Länkar

Matematikportal

Institutionen för matematik. S.L. Sobolev

Mehmat NSU