ℳ-rank and meager groups

• Autorzy: Ludomir Newelski
• Języki publikacji: EN

Abstrakty

EN

Assume p* is a meager type in a superstable theory T. We investigate definability properties of p*-closure. We prove that if T has $<2^{ℵ_0}$ countable models then the multiplicity rank ℳ of every type p is finite. We improve Saffe's conjecture.

Kategorie tematyczne

• 03C45: Classification theory, stability and related concepts

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 1996
• Tom: 150
• Numer: 2
• Strony: 149-171

Daty

wydano

1996

otrzymano

1995-08-25

poprawiono

1996-01-11

Twórcy

autor

Ludomir Newelski

• Institute of Mathematics, Polish Academy of Sciences, Wrocław Branch, Kopernika 18, 51-617 Wrocław, Poland

Bibliografia

• [Ba] J. T. Baldwin, Fundamentals of Stability Theory, Springer, Berlin, 1988.
• [Hru] E. Hrushovski, Locally modular regular types, in: Classification Theory, Proc., Chicago 1985, J. T. Baldwin (ed.), Springer, Berlin, 1988, 132-164.
• [H-P] E. Hrushovski and A. Pillay, Weakly normal groups, in: Logic Colloquium '85, The Paris Logic Group (eds.), North-Holland, Amsterdam, 1987, 233-244.
• [H-S] E. Hrushovski and S. Shelah, A dichotomy theorem for regular types, Ann. Pure Appl. Logic 45 (1989), 157-169.
• [L-P] L. F. Low and A. Pillay, Superstable theories with few countable models, Arch. Math. Logic 31 (1992), 457-465.
• [Ne1] L. Newelski, A model and its subset, J. Symbolic Logic 57 (1992), 644-658.
• [Ne2] L. Newelski, Meager forking, Ann. Pure Appl. Logic 70 (1994), 141-175.
• [Ne3] L. Newelski, ℳ-rank and meager types, Fund. Math. 146 (1995), 121-139.
• [Ne4] L. Newelski, On atomic or saturated sets, J. Symbolic Logic, to appear.
• [Ne5] L. Newelski, ℳ-gap conjecture and m-normal theories, preprint, 1995.
• [Sh] S. Shelah, Classification Theory, 2nd ed., North-Holland, 1990.
• [T] P. Tanovic, Fundamental order and the number of countable models, Ph.D. thesis, McGill University, December 1993.