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

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.200310051

Links

PhilArchive



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

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

Some remarks on indiscernible sequences.Enrique Casanovas Ruiz-Fornells - 2003 - Mathematical Logic Quarterly 49 (5):475.
Causal Independence, the Identity of Indiscernibles, and the Essentiality of Origins.Charles B. Cross - 2009 - Journal of Philosophy 106 (5):277-291.
Indiscernible sequences in a model which fails to have the order property.Rami Grossberg - 1991 - Journal of Symbolic Logic 56 (1):115-123.
The Bundle Theory of Substance and the Identity of Indiscernibles.John O'Leary-Hawthorne - 1995 - Analysis 55 (3):191 - 196.
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.
Some remarks on second order logic with existence attributes.Nino B. Cocchiarella - 1968 - Noûs 2 (2):165-175.

Analytics

Added to PP
2013-12-01

Downloads
25 (#618,847)

6 months
3 (#1,002,413)

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