Ludomir Newelski, Professor

Ph. D.: IM PAN 1987, habilitation: IM PAN 1991, title of professor: 1998

My research interests include model theory, its interactions with set theory and algebra, and foundations of computer science. In model theory I am working on Vaught's conjecture and more generally on classification of countable structures and geometric model theory.

Selected Publications:

  1. Independence results for uncountable superstable theories, Israel J. Math. 65 (1989), 59-78.
  2. On type-definable subgroups of a stable group, Notre Dame J. Form. Logic 32 (1991), 173-187.
  3. More on locally atomic models, Fund. Math. 136 (1990), 21-26.
  4. A proof of Saffe's conjecture (habilitation thesis), Fund. Math. 134 (1990), 143-155.
  5. Meager forking, Ann. Pure Appl. Logic 70(1994), 141-175.
  6. M-rank and meager types, Fund. Math. 146 (1995), 121-139.

Recent Publications (1996-1999):

  1. On atomic or saturated sets, J. Symb. Logic 61 (1996), 318-333.
  2. On the prime model property, Proc. Amer. Math. Soc. 124 (1996), 2519-2525.
  3. M-rank and meager groups, Fund. Math. 150 (1996), 149-171.
  4. M-gap conjecture and m-normal theories, Israel J. Math. 106 (1998), 285-311.
  5. Vaught's conjecture for some meager groups, Israel J. Math., accepted (24 pages).
  6. Flat Morley sequences, J. Symb. Logic, accepted (20 pages).
  7. Geometry of *-finite types, J. Symb. Logic, accepted (23 pages).
  8. m-normal theories, Fund. Math. (submitted).
  9. On the topological stability conjecture, Logic Colloquium'97, to appear.
  10. Meager forking and m-independence, ICM'98, Proceedings, vol. II, 33-42.