Prof. Oleg Belegradek

Ana sayfa / Home
Biz kimiz? / About Us
Aile bireyleri / People

Matematik Programı / Pure Math Curriculum
Finans Matematiği Programı / Financial Math Curriculum
Tüm dersler / All Courses

Öğrenci Semineri / Students' Seminar
 Matematik Konuşmaları / Math Colloquium

Ders Notları / Lecture Notes:
 Set Theory: dvi pdf ps
Algebra: dvi pdf ps
Analysis: dvi pdf ps

Takvim / Calendar 2003-2004
Problem Köşesi / Corner
Cahit Arf Matematik Günleri / Mathematical Days
Yaz Okulu / Summer School
Öğretim Üyesi Gereksinimi / Position Openings
Haberler / What's New
 Bağıntılar / Links

  
Poizat's Model Theory Book in Russian

CURRICULUM VITAE
for
Oleg Belegradek


Date of birth November 24, 1949

Place of birth Chelyabinsk, Russia

Telephone
+90 (212) 2162222/198 (office)
+90 (212) 2168477 (fax)

e-mail address: olegb@bilgi.edu.tr


Degrees
Doctor of Science (Mathematics), 1995,
Institute of Mathematics, Siberian Branch
of the Russian Academy of Science, Novosibirsk

Candidate of Science (Mathematics), 1975,
Novosibirsk State University

Master (Mathematics), 1972,
Novosibirsk State University


Research areas
Algebra, mathematical logic and applications


Academic career
Kemerovo State University,
Department of Mathematics,
Section of Algebra and Geometry,
1975-1977: Assistant professor,
1977-1986: Chairman,
1987-1995: Docent,
1995-1999: Professor

Istanbul Bilgi University,
Department of Mathematics,
1999-present: Professor


Honours, awards, fellowships
University of London, QMW College, 1992
Fields Institute, Toronto, 1996
MSRI, Berkeley, 1998
Mittag-Leffler Institute, Stockholm, 2000


Membership in scientific
organizations
American Mathematical Society;
Association of Symbolic Logic,
a member of the Committee on Translations


Reviewer's work
Mathematical Reviews;
Zentralblatt für Mathematik;
Referativny{\u{\i\/}}\kern.15em Zhurnal Matematika


Editorial work
Consulting Editor of Z. Math. Logik
und Grundl. Math. (1982-1990)

Editor of the collection
First Siberian Winter school
`` Algebra and Analysis'',
AMS Translations, Ser. 2, vol. 148,
AMS, Providence, Rhode Island, 1991

 
Dissertations
  1. Almost categorical theories, Master Thesis, Novosibirsk State University, 1972.
  2. Algebraically closed groups, Cand. Sc. Thesis, Novosibirsk State University, 1975.
  3. The model theory of unitriangular and existentially closed groups, D. Sc. Thesis, Kemerovo State University, 1995.


Papers in journals
  1. Categoricity in uncountable powers and $\aleph _1$ -homogeneous models, Algebra i Logika 11(1972), no. 2, 125-129.
  2. Two remarks on varieties $A_{mn}$ , Algebra i Logika 11(1972), no. 5, 501-508 (with M. A. Taitslin).
  3. On some non-elementary properties of models od categorical theories, Izv. Vyssh. Uchebn. Zaved. Mat., 1973, no. 4, 3-7.
  4. On almost categorical theories, Sibirsk. Mat. Zh. 14(1973), no. 2, 277-288.
  5. On algebraically closed groups, Algebra i Logika 13(1974), no. 3, 239-255.
  6. On definability in algebraically closed groups, Mat. Zametki 16(1974), no. 3, 375-380.
  7. Elementary properties of algebraically closed groups , Fund. math., 98(1978), 83-101.
  8. On $m$ -degrees of the word problem, Sibirsk. Mat. Zh. 19(1978), no. 6, 1232-1236.
  9. On unstable theories of groups, Izv. Vyssh. Uchebn. Zaved. Mat., 1978, no. 8, 41-44.
  10. Algebraic equivalents if solvability of group-theoretic algorithmic problems, Sibirsk. Mat. Zh., 20(1979), no. 5, 954-963.
  11. Decidable fragments of universal theories end existentially closed models, Sibirsk. Mat. Zh., 21(1980), no. 6, 196-201.
  12. Forking in locally free algebras, Mat. Zametki, 46(1989), no. 5, 3-8.
  13. Maltsev's correspondence and undecidability, Sibirsk. Mat. Zh., (33)1992, no. 4, 24-29.
  14. Unitriangular groups and undecidability, Izv. Vyssh. Uchebn. Zaved. Mat., no. 4 (370), 1993, 19-22.
  15. Quasiunitriangular groups, J. Symbolic Logic 58(1993), no.1, 205-218.
  16. The model theory of unitriangular groups, Ann. Pure Appl. Log. 68 (1994), 225-261.
  17. Degrees of unsolvability of first order decision problems for finitely presented groups, Proc. Amer. Math. Soc. 124 (1996), no. 2, 623-625.
  18. Higman's Embedding Theorem in general setting and its application to existentially closed algebras, Notre Dame J. Formal Logic, 37 (1996), no. 4, 613-624.
  19. On minimal models, J. Symbol. Logic, 63 (1998), 421-426.
  20. Databases over a fixed infinite universe, Programming and Computer Software, 24 (1998), no. 1 , 3-10 (with M. A. Taitslin and A. P. Stolboushkin).
  21. Extended order-generic queries, Ann. Pure Appl. Logic 97 (1999), no. 1, 85-125 (with M. A. Taitslin and A. P. Stolboushkin).
  22. Finitely determined members of varieties of groups and rings , J. Algebra 228, no. 2, 586-602 (2000).
  23. Finitely approximable associative algebra with unsolvable word problem, Algebra and Logika 39, no. 4, 2000, 441-451.
  24. Quasi-o-minimal structures, J. Symbol. Logic 65, no. 3, 2000, 1115-1132 (with Ya. Peterzil, F. Wagner).


Papers in books
  1. Classes of algebras with internal mappings, Investigations in theoretical programming, Alma-Ata, 1981, 3-10.
  2. Definable endomorphisms of abelian groups, Logic, methodology and philosophy of science, Moscow, 1983, 46-48.
  3. On groups of finite Morley rank, in Abstracts of the Eighth Intern. Congr. on Logic, Methodology and Philosophy of Science, LMPS'87, Moscow, USSR, 17-22 August 1987, 100-102.
  4. Some model theory of locally free algebras, Proc. 8th Easter conf. on model theory, Wendisch-Rietz, April 1988, Seminarbericht Nr. 98, Sektion Mathematik, Humboldt-Universität zu Berlin, Berlin, 1988, 28-32.
  5. The model theory of locally free algebras, Model Theory and Applications, Trudy Inst. Mat. SO AN SSSR, vol. 8, Novosibirsk, Nauka, 1988, 3-25 (English translation in: Amer. Math. Soc. Transl. (2) vol. 195, 1999, 117-143)
  6. On the Mal'cev correspondence between rings and groups , Proc. 7th Easter conf. on model theory, Wendisch-Rietz, March 1989, Seminarbericht Nr. 104, Sektion Mathematik, Humboldt-Universität zu Berlin, Berlin, 1989, 43-57.
  7. Groups elementarily equivalent to ${\rm UT}_3(R)$ , Proc. 8th Easter conf. on model theory, Wendisch-Rietz, April 1990, Seminarbericht Nr. 110, Sektion Mathematik, Humboldt-Universität zu Berlin, Berlin, 1990, 31-38.
  8. The logical strength of theories associated with an infinitely dimensional vector space, Proc. 9th Easter conf. on model theory, Wendisch-Rietz, April 1991, Seminarbericht Nr. 112, Sektion Mathematik, Humboldt-Universität zu Berlin, Berlin, 1991, 12-33 (with V. A. Tolstykh).
  9. The Mal'cev correspondence revisited, Proc. Intern. conf. on algebra dedicated to the memory of A. I. Mal'cev, Novosibirsk, Aug. 1989, Contemporary mathematics, vol. 131, Providence, Rhode Island, Amer. Math. Soc., 1992, 37-59.
  10. Theories associated with a vector space, Séminaire de Structures Algébriques Ordonnées 1991-92, Paris 7, CNRS. Logique, N 42, 1993, 1-3.
  11. Some open problems in the model theory of unitriangular groups , Proc. 10th Easter conf. on model theory, Wendisch-Rietz, April 1993, Seminarbericht Nr. 93-1, Fachbereich Mathematik, Humboldt-Universität zu Berlin, Berlin, 1993, 9-13.
  12. Generic queries over quasi-o-minimal domains, in: Logical Foundations of Computer Science, Proc. 4th Intern. Symp. LFCS'97, Yaroslavl, July 1997, Lect. Notes in Comp. Sci., vol. 1234, Springer, 1997, 21-32 (with M. A. Taitslin and A. P. Stolboushkin).
  13. On problems of databases over a fixed infinite universe , in: Logic, algebra, and computer science. Helena Rasiowa in memoriam, Banach Center Publications, vol. 46, Warszawa, 1999, 23-62 (with M. A. Taitslin and A. P. Stolboushkin).
  14. Model theory of unitriangular groups, in: Model Theory and Applications, Amer. Math. Soc. Transl. (2) vol. 195, 1999, 1-116.
  15. Poly-regular ordered abelian groups, to appear in Contemp. Math.


Papers in preprint series
  1. On subalgebras of relatively finitely presented algebras , N 961-80 Dep., VINITI (with N. I. Koveshnikova), 22-32.
  2. Abelian groups which admits quantifier elimination, N 1115-84 Dep., VINITI, 1983, 1-8 (with N. A. Korobaneva).
  3. Definable endomorphisms of abelian groups, N 3081-85 Dep., VINITI, 1985, 1-38.
  4. On order-generic queries, Technical report 96-01, DIMACS, Rutgers University, 1996 (with M. A. Taitslin and A. P. Stolboushkin).
  5. A quasi-o-minimal group without the exchange property , MSRI Preprint 1998-051 (with F. Point and F. Wagner).