Some remarks on indiscernible sequences

Mathematical Logic Quarterly 49 (5):475-478 (2003)
  Copy   BIBTEX

Abstract

We prove a property of generic homogeneity of tuples starting an infinite indiscernible sequence in a simple theory and we use it to give a shorter proof of the Independence Theorem for Lascar strong types. We also characterize the relation of starting an infinite indiscernible sequence in terms of coheirs

Links

PhilArchive



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

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

Some remarks on indiscernible sequences.Enrique Casanovas Ruiz-Fornells - 2003 - Mathematical Logic Quarterly 49 (5):475.
Max Black on the identity of indiscernibles.Charles B. Cross - 1995 - Philosophical Quarterly 45 (180):350-360.
Properties and Consequences of Thorn-Independence.Alf Onshuus - 2006 - Journal of Symbolic Logic 71 (1):1 - 21.
Dividing and chain conditions.Enrique Casanovas - 2003 - Archive for Mathematical Logic 42 (8):815-819.
Independence of irrelevant alternatives revisited.Susumu Cato - 2014 - Theory and Decision 76 (4):511-527.
Local order property in nonelementary classes.Rami Grossberg & Olivier Lessmann - 2000 - Archive for Mathematical Logic 39 (6):439-457.
Discouraging results for ultraimaginary independence theory.Itay Ben-Yaacov - 2003 - Journal of Symbolic Logic 68 (3):846-850.
The identity of indiscernibles and the co-location problem.Robin Jeshion - 2006 - Pacific Philosophical Quarterly 87 (2):163–176.
Similarity among nucleotides sequences.Feng Shi & Zhongxi Mo - 2002 - Acta Biotheoretica 50 (2):95-99.
Simple monadic theories and indiscernibles.Achim Blumensath - 2011 - Mathematical Logic Quarterly 57 (1):65-86.

Analytics

Added to PP
2013-12-01

Downloads
22 (#626,746)

6 months
1 (#1,149,473)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Thorn-forking as local forking.Hans Adler - 2009 - Journal of Mathematical Logic 9 (1):21-38.

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.
An introduction to forking.Daniel Lascar & Bruno Poizat - 1979 - Journal of Symbolic Logic 44 (3):330-350.
Definability in low simple theories.Ziv Shami - 2000 - Journal of Symbolic Logic 65 (4):1481-1490.
Forking and fundamental order in simple theories.Daniel Lascar & Anand Pillay - 1999 - Journal of Symbolic Logic 64 (3):1155-1158.

Add more references