Connecting Schanuel's Conjecture to Shapiro's Conjecture

Thu, 26/04/2012
17:00
Angus Macintyre (QMUL) Logic Seminar Add to calendar L3
Shapiro's Conjecture says that two classical exponential polynomials over the complexes can have infinitely many common zeros only for algebraic reasons. I will explain the history of this, the connection to Schanuel's Conjecture, and sketch a proof for the complexes using Schanuel, as well as an unconditional proof for Zilber's fields.