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.

 Foundations of Arith… on A geometric proof of the impos… Ari on Quantitative bounds for critic… Foundations of Arith… on A geometric proof of the impos… Bob Copeland on About Terrence Tao’s… on Almost all Collatz orbits atta… Terence Tao on Almost all Collatz orbits atta… mayor of Simpleton on Almost all Collatz orbits atta… Terence Tao on Almost all Collatz orbits atta… itaibn on Almost all Collatz orbits atta… Alberto Ibañez on Almost all Collatz orbits atta… random reader on Almost all Collatz orbits atta… Nadroj Straw on 245B, notes 0: A quick review… Terence Tao on Almost all Collatz orbits atta… Terence Tao on Almost all Collatz orbits atta… Terence Tao on Almost all Collatz orbits atta…