You are currently browsing the tag archive for the ‘invariant 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 An update to “On the sig… Anonymous on Matrix identities as derivativ… Terence Tao on 254B, Notes 1: Equidistributio… Terence Tao on The “no self-defeating o… A. Barreras on An update to “On the sig… Ronald Brown on There’s more to mathematics th… Premysl the Czech on There’s more to mathematics th… Ángel Méndez Rivera on The Euler-Maclaurin formula, B… Josaphat on Make your work available hxypqr on Recent progress on the Kakeya… farlabb on 254B, Notes 1: Equidistributio… Anonymous on 245C, Notes 5: Hausdorff dimen… jvanname on Career advice Kakeya Conjecture |… on Recent progress on the Kakeya… Toby Bartels on The “no self-defeating o…