On NIP and invariant measures

Details On NIP and invariant measures On NIP and invariant measures

2007-10-11

arxiv.org/abs/0710.2330v2

Mathematics

Logic

Changes from the first version include removing the old section 8 on generic compact domination, giving a more complete accoun

Scientific paper

We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of $NIP$ (not the independence property), continuing aspects of math.LO/0607442. Among key results are: (i) if $p = tp(b/A)$ does not fork over $A$ then the Lascar strong type of $b$ over $A$ coincides with the compact strong type of $b$ over $A$ and any global nonforking extension of $p$ is Borel definable over $bdd(A)$ (ii) analogous statements for Keisler measures and definable groups, including the fact that $G^{000} = G^{00}$ for $G$ definably amenable, (iii) definitions, characterizations and properties of "generically stable" types and groups (iv) uniqueness of translation invariant Keisler measures on groups with finitely satisfiable generics (vi) A proof of the compact domination conjecture for definably compact commutative groups in $o$-minimal expansions of real closed fields.

Affiliated with

Also associated with

No associations

Rating

On NIP and invariant measures 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 On NIP and invariant measures, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On NIP and invariant measures will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-542218