A uniform version of the Schanuel conjecture is discussed that has some model-theoretical motivation. This conjecture is assumed, and it is proved that any ‘non-obviously-contradictory’ system of equations in the form of exponential sums with real exponents has a solution.
No takes yet. Share an insight, caveat, or question.
Boris Zilber (2002) studied this question.