01.01.06 (Mathematical logic, algebra, and number theory)
Birth date:
07.07.1950
E-mail:
Keywords:
rekursively (computably) enumerable sets; degrees of unsolvability; complexity of computation.
Biography
Graduated from Faculty of Mathematics and Mechanics of Tbilisi State University in 1971. Ph.D. thesis was defended in 1981. D.Sci. thesis was defended in 1993. A list of my works contains more than 40 titles.
Main publications:
Omanadze R. Sh. O verkhnei polureshetke rekursivno perechislimykh $Q$-stepenei // Algebra i logika, 1984, 23, 2, 175–184.
Omanadze R. Sh. Klassy rekursivno perechislimykh mnozhestv i $Q$-svodimost // Matem. zametki, 1989, 45, 2, 79–82.
Omanadze R. Sh. O verkhnei polureshetke rekursivno perechislimykh $sQ$-stepenei // Algebra i logika, 1991, 30, 4, 405–413.
Omanadze R. Sh. Sootnosheniya mezhdu nekotorymi svodimostyami // Algebra i logika, 1994, 33, 6, 681–688.
Omanadze R. Sh. Slozhnostnye svoistva rekursivno perechislimykh mnozhestv i $sQ$-polnota // Matem. zametki, 1997, 62, 3, 425–429.
R. Sh. Omanadze, “Some generalizations of the concept of productivity of a set”, Izv. Vyssh. Uchebn. Zaved. Mat., 1978, no. 9, 84–88; Soviet Math. (Iz. VUZ), 22:9 (1978), 65–68