Zilber's restricted trichotomy conjecture on non-local modularity of complex-field reducts
Zilber's conjecture. Non-local modularity is necessary and sufficient for a reduct of (C;+,×)(\mathbb C; +,\times)(C;+,×) to define an isomorphic copy of (C;+,×)(\mathbb C; +,\times)(C;+,×).