• Corpus ID: 119701964

A model-theoretic generalization of the Elekes-Szabó theorem

  title={A model-theoretic generalization of the Elekes-Szab{\'o} theorem},
  author={Artem Chernikov and Sergei Starchenko},
  journal={arXiv: Logic},
We prove a generalizations of the Elekes-Szab\'o theorem for relations definable in strongly minimal structures that are interpretable in distal structures. 
3 Citations

Projective geometries arising from Elekes-Szabó problems

We generalise the Elekes-Szab\'o theorem to arbitrary arity and dimension and characterise the complex algebraic varieties without power saving. The characterisation involves certain algebraic

o-Minimal method and generalized sum-product phenomena

Using tools from o-minimality, we prove that for two bivariate polynomials $P(x,y)$ and $Q(x,y)$ with coefficients in $\mathbb{R}$ or $\mathbb{C}$ to simultaneously exhibit small expansion, they must

The Dividing Line Methodology: Model Theory Motivating Set Theory

The 1960’s produced technical revolutions in both set theory and model theory. Researchers such as Martin, Solovay, and Moschovakis kept the central philosophical importance of the set theoretic work



Zariski Geometries

. We characterize the Zariski topologies over an algebraically closed field in terms of general dimension-theoretic properties. Some applications are given to complex manifold and to strongly minimal

Geometric Stability Theory

Introduction 1. Stability theory 2. The classical finite rank theory 3. Quasi finite axiomatizability 4. 1-based theories and groups 5. Groups and geometries 6. Unidimensional theories 7. Regular

Cutting lemma and Zarankiewicz’s problem in distal structures

A cutting lemma is established for definable families of sets in distal structures, as well as the optimality of the distal cell decomposition for definite families of set on the plane in o-minimal expansions of fields, which generalizes the results in Fox et al.

Stable group theory and approximate subgroups

We note a parallel between some ideas of stable model theory and certain topics in finite combinatorics related to the sum-product phenomenon. For a simple linear group G, we show that a finite

The Szemerédi-Trotter theorem in the complex plane

It is shown that n points and e lines in the complex Euclidean plane ℂ2 determine O(n2/3e2/3 + n + e) point-line incidences. This bound is the best possible, and it generalizes the celebrated theorem

Regularity lemma for distal structures

It is known that families of graphs with a semialgebraic edge relation of bounded complexity satisfy much stronger regularity properties than arbitrary graphs, and that they can be decomposed into

A Survey of Elekes-Rónyai-Type Problems

We give an overview of recent progress around a problem introduced by Elekes and Ronyai. The prototype problem is to show that a polynomial \(f\in \mathbb R[x,y]\) has a large image on a Cartesian

Distal and non-distal NIP theories

Polynomials Vanishing on Cartesian Products: The Elekes-Szabó Theorem Revisited

It is shown that F vanishes on at most O(n^{11/6}) points of the Cartesian product A x B x C (where the constant of proportionality depends polynomially on the degree of F), unless F has a special group-related form.

Externally definable sets and dependent pairs II

Author(s): Chernikov, A; Simon, P | Abstract: We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most