Naming an indiscernible sequence in NIP theories
Skip to main content
eScholarship
Open Access Publications from the University of California

Naming an indiscernible sequence in NIP theories

  • Author(s): Chernikov, Artem
  • Simon, Pierre
  • et al.
Abstract

In this short note we show that if we add predicate for a dense complete indiscernible sequence in a dependent theory then the result is still dependent. This answers a question of Baldwin and Benedikt and implies that every unstable dependent theory has a dependent expansion interpreting linear order.

Many UC-authored scholarly publications are freely available on this site because of the UC's open access policies. Let us know how this access is important for you.

Main Content
Current View