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

 Terence Tao on Variants of the Selberg sieve,… anonymous on Variants of the Selberg sieve,… Eytan Paldi on Variants of the Selberg sieve,… Eytan Paldi on Variants of the Selberg sieve,… H on Variants of the Selberg sieve,… Eytan Paldi on Variants of the Selberg sieve,… H on Variants of the Selberg sieve,… Eytan Paldi on Variants of the Selberg sieve,… Dan Lacker on Real analysis relative to a fi… Gergely Harcos on Variants of the Selberg sieve,… Pace Nielsen on Variants of the Selberg sieve,… James Maynard on Variants of the Selberg sieve,… 089l8 on A remark on partial sums invol… 089l8 on A remark on partial sums invol… LB on Variants of the Selberg sieve,…