SEARCH

SEARCH BY CITATION

Keywords:

  • Indiscernibles;
  • heirs and coheirs;
  • simple theory;
  • independence theorem

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.