On dividing chains in simple theories

Archive for Mathematical Logic 44 (7):897-911 (2005)
  Copy   BIBTEX

Abstract

Dividing chains have been used as conditions to isolate adequate subclasses of simple theories. In the first part of this paper we present an introduction to the area. We give an overview on fundamental notions and present proofs of some of the basic and well-known facts related to dividing chains in simple theories. In the second part we discuss various characterizations of the subclass of low theories. Our main theorem generalizes and slightly extends a well-known fact about the connection between dividing chains and Morley sequences (in our case: independent sequences). Moreover, we are able to give a proof that is shorter than the original one. This result motivates us to introduce a special property of formulas concerning independent dividing chains: For any dividing chain there exists an independent dividing chain of the same length. We study this property in the context of low, short and ω -categorical simple theories, outline some examples and define subclasses of low and short theories, which imply this property. The results give rise to further studies of the relationships between some subclasses of simple theories

Links

PhilArchive



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

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

Weak dividing, chain conditions, and simplicity.Alfred Dolich - 2004 - Archive for Mathematical Logic 43 (2):265-283.
Dividing and chain conditions.Enrique Casanovas - 2003 - Archive for Mathematical Logic 42 (8):815-819.
Forking and dividing in NTP₂ theories.Artem Chernikov & Itay Kaplan - 2012 - Journal of Symbolic Logic 77 (1):1-20.
A primer of simple theories.Rami Grossberg, José Iovino & Olivier Lessmann - 2002 - Archive for Mathematical Logic 41 (6):541-580.
On omega-categorical simple theories.Daniel Palacín - 2012 - Archive for Mathematical Logic 51 (7-8):709-717.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
A note on weak dividing.Byunghan Kim & Niandong Shi - 2007 - Archive for Mathematical Logic 46 (2):51-60.
Discouraging results for ultraimaginary independence theory.Itay Ben-Yaacov - 2003 - Journal of Symbolic Logic 68 (3):846-850.
Syntax in chains.Marcus Kracht - 2001 - Linguistics and Philosophy 24 (4):467-530.
On Kueker Simple Theories.Ziv Shami - 2005 - Journal of Symbolic Logic 70 (1):216 - 222.
Group configurations and germs in simple theories.Itay Ben-Yaacov - 2002 - Journal of Symbolic Logic 67 (4):1581-1600.
Properties and Consequences of Thorn-Independence.Alf Onshuus - 2006 - Journal of Symbolic Logic 71 (1):1 - 21.
Forking and fundamental order in simple theories.Daniel Lascar & Anand Pillay - 1999 - Journal of Symbolic Logic 64 (3):1155-1158.
Very simple theories without forking.Ludomir Newelski - 2003 - Archive for Mathematical Logic 42 (6):601-616.
What Do Deviant Causal Chains Deviate From?Geert Keil - 2007 - In Christoph Lumer & Sandro Nannini (eds.), Intention, Deliberation and Autonomy. Ashgate. pp. 69-90.

Analytics

Added to PP
2013-11-23

Downloads
22 (#666,248)

6 months
3 (#880,460)

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

Lovely pairs of models.Itay Ben-Yaacov, Anand Pillay & Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 122 (1-3):235-261.
The number of types in simple theories.Enrique Casanovas - 1999 - Annals of Pure and Applied Logic 98 (1-3):69-86.
Lascar strong types in some simple theories.Steven Buechler - 1999 - Journal of Symbolic Logic 64 (2):817-824.
A Supersimple Nonlow Theory.Enrique Casanovas & Byunghan Kim - 1998 - Notre Dame Journal of Formal Logic 39 (4):507-518.
Local supersimplicity and related concepts.Enrique Casanovas & Frank O. Wagner - 2002 - Journal of Symbolic Logic 67 (2):744-758.

View all 6 references / Add more references