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.

 David Cole on The Riemann hypothesis in vari… Alguém precisa ser u… on Does one have to be a genius t… Mufei Li on Analysis I Thinking on the page… on There’s more to mathematics th… Groul on Quantitative continuity estima… Aleksandar Pavlović on Career advice Paata Ivanisvili on A bound on partitioning c… ADT on It ought to be common knowledg… Anonymous on It ought to be common knowledg… Sander Henstra on 254A, Supplement 4: Probabilis… When the Average is… on Benford’s law, Zipf… Anonymous on Analysis I adu banteng on Topics in random matrix t… lorenzo on Analysis I Shocked on It ought to be common knowledg…