Modular types in some supersimple theories

Journal of Symbolic Logic 67 (4):1601-1615 (2002)
  Copy   BIBTEX

Abstract

We consider a small supersimple theory with a property (CS) (close to stability). We prove that if in such a theoryTthere is a typep∈S(A) (whereAis finite) withSU(p) = 1 and infinitely many extensions overacleq(A), then inTthere is a modular such type. Also, ifTis supersimple with (CS) andp∈S(∅) is isolated,SU(p) = 1 andphas infinitely many extensions overacleq(∅), thenpis modular.

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1190150302

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

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

A note on subgroups of the automorphism group of a saturated model, and regular types.A. Pillay - 1989 - Journal of Symbolic Logic 54 (3):858-864.
The geometry of weakly minimal types.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1044-1053.
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
The classification of small weakly minimal sets. II.Steven Buechler - 1988 - Journal of Symbolic Logic 53 (2):625-635.
One theorem of Zil′ber's on strongly minimal sets.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1054-1061.
Modular architectures and informational encapsulation: A dilemma.Dustin Stokes & Vincent Bergeron - 2015 - European Journal for Philosophy of Science 5 (3):315-38.
On countable simple unidimensional theories.Anand Pillay - 2003 - Journal of Symbolic Logic 68 (4):1377-1384.
The classification of small types of rank ω, part I.Steven Buechler & Colleen Hoover - 2001 - Journal of Symbolic Logic 66 (4):1884-1898.
Practical reasoning in a modular mind.Peter Carruthers - 2004 - Mind and Language 19 (3):259-278.
Supersimple ω-categorical groups and theories.David M. Evans & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.

Analytics

Added to PP
2009-01-28

Downloads
23 (#678,283)

6 months
14 (#175,970)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Simple theories.Byunghan Kim & Anand Pillay - 1997 - Annals of Pure and Applied Logic 88 (2-3):149-164.
ℵ0-Categorical, ℵ0-stable structures.G. Cherlin, L. Harrington & A. H. Lachlan - 1985 - Annals of Pure and Applied Logic 28 (2):103-135.
Meager forking.Ludomir Newelski - 1994 - Annals of Pure and Applied Logic 70 (2):141-175.
Simple unstable theories.Saharon Shelah - 1980 - Annals of Mathematical Logic 19 (3):177.

Add more references