Stable theories, pseudoplanes and the number of countable models

Annals of Pure and Applied Logic 43 (2):147-160 (1989)
  Copy   BIBTEX

Abstract

We prove that if T is a stable theory with only a finite number of countable models, then T contains a type-definable pseudoplane. We also show that for any stable theory T either T contains a type-definable pseudoplane or T is weakly normal

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(80)90002-0

Other Versions

No versions found

Links

PhilArchive

External links

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

Through your library

My notes

Similar books and articles

Simple groups and the number of countable models.Predrag Tanović - 2013 - Archive for Mathematical Logic 52 (7-8):779-791.
On atomic or saturated sets.Ludomir Newelski - 1996 - Journal of Symbolic Logic 61 (1):318-333.
Non-isolated types in stable theories.Predrag Tanović - 2007 - Annals of Pure and Applied Logic 145 (1):1-15.
Theories with a finite number of countable models.Robert E. Woodrow - 1978 - Journal of Symbolic Logic 43 (3):442-455.
On minimal structures.Oleg Belegradek - 1998 - Journal of Symbolic Logic 63 (2):421-426.
Unidimensional theories are superstable.Ehud Hrushovski - 1990 - Annals of Pure and Applied Logic 50 (2):117-138.
The definable multiplicity property and generic automorphisms.Hirotaka Kikyo & Anand Pillay - 2000 - Annals of Pure and Applied Logic 106 (1-3):263-273.
Unidimensional theories are superstable.Katsuya Eda - 1990 - Annals of Pure and Applied Logic 50 (2):117-137.
On countable simple unidimensional theories.Anand Pillay - 2003 - Journal of Symbolic Logic 68 (4):1377-1384.
Types directed by constants.Predrag Tanović - 2010 - Annals of Pure and Applied Logic 161 (7):944-955.

Analytics

Added to PP
2014-01-16

Downloads
54 (#1,106,176)

6 months
4 (#1,748,659)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A new strongly minimal set.Ehud Hrushovski - 1993 - Annals of Pure and Applied Logic 62 (2):147-166.
Weight ω in stable theories with few types.Bernhard Herwig - 1995 - Journal of Symbolic Logic 60 (2):353-373.
On constants and the strict order property.Predrag Tanović - 2006 - Archive for Mathematical Logic 45 (4):423-430.
Types directed by constants.Predrag Tanović - 2010 - Annals of Pure and Applied Logic 161 (7):944-955.

View all 9 citations / Add more citations

References found in this work

ℵ0-Categorical, ℵ0-stable structures.Gregory Cherlin, Leo Harrington & Alistair H. Lachlan - 1985 - Annals of Pure and Applied Logic 28 (2):103-135.
Fundamentals of forking.Victor Harnik & Leo Harrington - 1984 - Annals of Pure and Applied Logic 26 (3):245-286.
Closed sets and chain conditions in stable theories.Anand Pillay & Gabriel Srour - 1984 - Journal of Symbolic Logic 49 (4):1350-1362.
Forking, normalization and canonical bases.Anand Pillay - 1986 - Annals of Pure and Applied Logic 32:61-81.

Add more references