You are currently browsing the tag archive for the ‘global types’ tag.

This week, Henry Towsner continued some model-theoretic preliminaries for the reading seminar of the Hrushovski paper, particularly regarding the behaviour of wide types, leading up to the main model-theoretic theorem (Theorem 3.4 of Hrushovski) which in turn implies the various combinatorial applications (such as Corollary 1.2 of Hrushovski). Henry’s notes can be found here.

A key theme here is the phenomenon that any pair of large sets contained inside a definable set of finite measure (such as ${X \cdot X^{-1}}$) must intersect if they are sufficiently “generic”; the notion of a wide type is designed, in part, to capture this notion of genericity.

### Recent Comments

 Karim on 245C, Notes 4: Sobolev sp… Archy on 254A, Notes 3a: Eigenvalues an… Anonymous on 246A, Notes 5: conformal … coupon_clipper on 245A, Notes 2: The Lebesgue… igessel on Another problem about power… igessel on Another problem about power… Jean-Bernard Zuber on Another problem about power… Anonymous on Another problem about power… gninrepoli on Another problem about power… Anonymous on Another problem about power… Terence Tao on Another problem about power… Anonymous on Another problem about power… Paata Ivanishvili on Another problem about power… coupon_clipper on 245A, Notes 2: The Lebesgue… Jhon Manugal on 245C, Notes 2: The Fourier…