Morozov, Andrei Sergheevici
Andrey Sergeevich Morozov - matematician sovietic și rus , specialist în teoria computabilității, doctor în științe fizice și matematice , profesor , cercetător șef la Institutul de Matematică. S. L. Soboleva, un om de știință celebru al școlii siberiene de algebră și logică .
Educație
1990 - Doctor în Științe Fizice și Matematice, Institutul de Matematică, Novosibirsk (aprobat de Comisia Superioară de Atestare a URSS în 1991)
1983 - Candidat la Științe Fizice și Matematice, conducător S.S. Goncharov.
1976-1981 — Facultatea de Matematică, Universitatea de Stat din Novosibirsk
Activitate științifică
LA FEL DE. Morozov este autorul clasificării algebrelor booleene omogene numărabile.
Rezultate principale
- LA FEL DE. Morozov a construit o teorie a simetriei calculabile pe modele calculabile pe baza grupurilor lor de automorfisme calculabile. În special, el a obținut estimări exacte pentru complexitatea teoriilor claselor de grupuri de automorfisme calculabile, a stabilit o serie de proprietăți algebrice și teoretice ale modelului importante ale acestei clase de grupuri.
- S-a rezolvat întrebarea lui G. Higman despre subgrupurile generate finit ale grupului de permutare computabil. El a demonstrat completitudinea Pi-1-1 a problemelor de rigiditate, izomorfism și încorporare.
- Împreună cu A. Nees, el a demonstrat completitudinea Pi-1-1 a teoriei grupurilor generate finit.
- Cu ajutorul teoriei modelelor constructive și al teoriei clasice a modelelor, a rezolvat problemele lui Bergstra-Tucker și Bergstra-Tyurin, care au apărut în informatica teoretică.
Publicații majore
- A. S. Morozov, „Countable homogeneous Boolean algebras”, Algebra i Logika, 21:3 (1982), 269–282
- A. S. Morozov, „Grupuri de automorfisme recursive ale algebrelor booleene constructive”, Algebra i Logika, 22:2 (1983), 138–158
- A. S. Morozov, „Automorfisme ale constructivizărilor algebrelor booleene”, Sibirsk. matematica. 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, „Despre capacitățile de calcul ale mașinilor Blum–Shub–Smale care operează în timp infinit”, 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, „Predicate minime în ceea ce privește Δ-definibilitatea”, Algebra Logic, 59:4 (2020), 480–499
Note
- ↑ Geneologie matematică . Preluat la 1 martie 2022. Arhivat din original la 1 martie 2022. (nedefinit)
Link -uri
Portal de matematică
Institutul de Matematică. S.L. Sobolev
Mehmat NSU