Meager forking

Annals of Pure and Applied Logic 70 (2):141-175 (1994)
  Copy   BIBTEX

Abstract

T is stable. We define the notion of meager regular type and prove that a meager regular type is locally modular. Assuming I < 2o and G is a definable abelian group with locally modular regular generics, we prove a counterpart of Saffe's conjecture. Using these results, for superstable T we prove the conjecture of vanishing multiplicities. Also, as a further application, in some additional cases we prove a conjecture regarding topological stability of pseudo-types over Q

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Relative Vaught's Conjecture for Some Meager Groups.Ludomir Newelski - 2007 - Notre Dame Journal of Formal Logic 48 (1):115-132.
Geometry of *-finite types.Ludomir Newelski - 1999 - Journal of Symbolic Logic 64 (4):1375-1395.
A model and its subset: the uncountable case.Ludomir Newelski - 1995 - Annals of Pure and Applied Logic 71 (2):107-129.
Superstable theories with few countable models.Lee Fong Low & Anand Pillay - 1992 - Archive for Mathematical Logic 31 (6):457-465.
Non-isolated types in stable theories.Predrag Tanović - 2007 - Annals of Pure and Applied Logic 145 (1):1-15.
Geometry of *-Finite Types.Ludomir Newelski - 1999 - Journal of Symbolic Logic 64 (4):1375-1395.
The classification of small types of rank ω, part I.Steven Buechler & Colleen Hoover - 2001 - Journal of Symbolic Logic 66 (4):1884-1898.
Unidimensional theories are superstable.Katsuya Eda - 1990 - Annals of Pure and Applied Logic 50 (2):117-137.
Unidimensional theories are superstable.Ehud Hrushovski - 1990 - Annals of Pure and Applied Logic 50 (2):117-137.
Zilber's conjecture for some o-minimal structures over the reals.Ya'acov Peterzil - 1993 - Annals of Pure and Applied Logic 61 (3):223-239.

Analytics

Added to PP
2014-01-16

Downloads
21 (#729,395)

6 months
9 (#436,380)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Theories with constants and three countable models.Predrag Tanović - 2007 - Archive for Mathematical Logic 46 (5-6):517-527.
Flat Morley sequences.Ludomir Newelski - 1999 - Journal of Symbolic Logic 64 (3):1261-1279.
Non-isolated types in stable theories.Predrag Tanović - 2007 - Annals of Pure and Applied Logic 145 (1):1-15.
Modular types in some supersimple theories.Ludomir Newelski - 2002 - Journal of Symbolic Logic 67 (4):1601-1615.
Relative Vaught's Conjecture for Some Meager Groups.Ludomir Newelski - 2007 - Notre Dame Journal of Formal Logic 48 (1):115-132.

View all 12 citations / Add more citations

References found in this work

Unidimensional theories are superstable.Ehud Hrushovski - 1990 - Annals of Pure and Applied Logic 50 (2):117-137.
The geometry of weakly minimal types.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1044-1053.
Kueker's conjecture for stable theories.Ehud Hrushovski - 1989 - Journal of Symbolic Logic 54 (1):207-220.
A dichotomy theorem for regular types.Ehud Hrushovski & Saharon Shelah - 1989 - Annals of Pure and Applied Logic 45 (2):157-169.
On type definable subgroups of a stable group.L. Newelski - 1991 - Notre Dame Journal of Formal Logic 32 (2):173-187.

View all 13 references / Add more references