The classification of small weakly minimal sets. II

Journal of Symbolic Logic 53 (2):625-635 (1988)
  Copy   BIBTEX

Abstract

The main result is Vaught's conjecture for weakly minimal, locally modular and non-ω-stable theories. The more general results yielding this are the following. THEOREM A. Suppose that T is a small unidimensional theory and D is a weakly minimal set, definable over the finite set B. Then for all finite $A \subset D$ there are only finitely many nonalgebraic strong types over B realized in $\operatorname{acl}(A) \cap D$ . THEOREM B. Suppose that T is a small, unidimensional, non-ω-stable theory such that the universe is weakly minimal and locally modular. Then for all finite A there is a finite $B \subset \mathrm{cl}(A)$ such that a ∈ cl(A) iff a ∈ cl(b) for some b ∈ B. Recall the property (S) defined in the abstract of [B1]. THEOREM C. Let T be as in Theorem B. Then, if T does not satisfy (S), T has 2 ℵ 0 many countable models. Combining Theorem C and the results in [B1] we obtain Vaught's conjecture for such theories

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

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

Dp-Minimality: Basic Facts and Examples.Alfred Dolich, John Goodrick & David Lippel - 2011 - Notre Dame Journal of Formal Logic 52 (3):267-288.
The geometry of weakly minimal types.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1044-1053.
Isolated types in a weakly minimal set.Steven Buechler - 1987 - Journal of Symbolic Logic 52 (2):543-547.
One theorem of Zil′ber's on strongly minimal sets.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1054-1061.
Pseudoprojective strongly minimal sets are locally projective.Steven Buechler - 1991 - Journal of Symbolic Logic 56 (4):1184-1194.
Weakly o-minimal structures and some of their properties.B. Sh Kulpeshov - 1998 - Journal of Symbolic Logic 63 (4):1511-1528.
On Kueker Simple Theories.Ziv Shami - 2005 - Journal of Symbolic Logic 70 (1):216 - 222.
On minimal structures.Oleg V. Belegradek - 1998 - Journal of Symbolic Logic 63 (2):421-426.

Analytics

Added to PP
2009-01-28

Downloads
29 (#472,004)

6 months
2 (#658,848)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Vaught’s conjecture for superstable theories of finite rank.Steven Buechler - 2008 - Annals of Pure and Applied Logic 155 (3):135-172.
Meager forking.Ludomir Newelski - 1994 - Annals of Pure and Applied Logic 70 (2):141-175.

Add more citations

References found in this work

No references found.

Add more references