A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of NIP (not the independence property), continuing aspects of the paper  . 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 Gdoi:10.4171/jems/274 fatcat:peg6azkqwzh2nmisi5ireedruu