Morozov, Andrei Sergeyevich
Andrey Sergeevich Morozov - Matemático soviético y ruso , especialista en teoría de la computabilidad, Doctor en Ciencias Físicas y Matemáticas , profesor , investigador principal del Instituto de Matemáticas. S. L. Soboleva, un famoso científico de la escuela siberiana de álgebra y lógica .
Educación
1990 - Doctor en Ciencias Físicas y Matemáticas, Instituto de Matemáticas, Novosibirsk (aprobado por la Comisión Superior de Certificación de la URSS en 1991)
1983 - Candidato a Ciencias Físicas y Matemáticas, supervisor S.S. Goncharov.
1976-1981 — Facultad de Matemáticas, Universidad Estatal de Novosibirsk
Actividad científica
COMO. Morozov es el autor de la clasificación de álgebras booleanas homogéneas contables.
Principales resultados
- COMO. Morozov construyó una teoría de simetría computable sobre modelos computables basados en sus grupos de automorfismos computables. En particular, obtuvo estimaciones exactas de la complejidad de las teorías de clases de grupos de automorfismos computables, estableció una serie de importantes propiedades algebraicas y de teoría de modelos de esta clase de grupos.
- Resuelta la pregunta de G. Higman sobre los subgrupos generados finitamente del grupo de permutación computable. Demostró Pi-1-1-completitud de los problemas de rigidez, isomorfismo e incrustabilidad.
- Junto con A. Nees, demostró Pi-1-1-completitud de la teoría de grupos generados finitamente.
- Con la ayuda de la teoría de modelos constructivos y la teoría clásica de modelos, resolvió los problemas de Bergstra-Tucker y Bergstra-Tyurin, que surgieron en la informática teórica.
Principales publicaciones
- A. S. Morozov, "Álgebras booleanas homogéneas numerables", Algebra i Logika, 21:3 (1982), 269–282
- A. S. Morozov, "Grupos de automorfismos recursivos de álgebras booleanas constructivas", Algebra i Logika, 22:2 (1983), 138–158
- A. S. Morozov, “Automorfismos de constructivizaciones de álgebras booleanas”, Sibirsk. Matemáticas. j., 26:4 (1985), 98–110
- A. S. Morozov, “Sobre una cuestión de Bergstra y Tyurin”, Algebra i Logika, 25:5 (1986), 566–583
- A. S. Morozov, “Sobre una cuestión de Higman”, Algebra i Logika, 29:1 (1990), 29–34
- P. Koepke, A. S. Morozov, "Sobre las capacidades computacionales de las máquinas Blum-Shub-Smale que operan en un tiempo infinito", Algebra i Logic, 56: 1 (2017), 55–92
- N. Kh. Kasymov, A. S. Morozov, I. A. Khodjamuratova, "Sobre las numeraciones separables en T1 de álgebras subdirectamente indescomponibles", Algebra Logic, 60:4 (2021), 400–424
- A. S. Morozov, D. A. Tusupov, "Predicados mínimos con respecto a la definibilidad de Δ", Algebra Logic, 59:4 (2020), 480–499
Notas
- ↑ Geneología Matemática . Consultado el 1 de marzo de 2022. Archivado desde el original el 1 de marzo de 2022. (indefinido)
Enlaces
Portal Matemático
Instituto de Matemáticas. S.L. Sobolev
Mehmat NSU