Externally definable sets and dependent pairs II

Details Externally definable sets and dependent pairs II Externally definable sets and dependent pairs II

2012-02-13

arxiv.org/abs/1202.2650v1

Mathematics

Logic

19 pages

Scientific paper

We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite sets are uniformly definable; over a model, a family of non-forking instances of a formula (with parameters ranging over a type-definable set) can be covered with finitely many invariant types; we give some criteria for the boundedness of an expansion by a new predicate in a distal theory; naming an arbitrary small indiscernible sequence preserves NIP, while naming a large one doesn't; there are models of NIP theories over which all 1-types are definable, but not all n-types.

Affiliated with

Also associated with

No associations

Rating

Externally definable sets and dependent pairs II does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Externally definable sets and dependent pairs II, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Externally definable sets and dependent pairs II will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-681281