Special Logic/Number Theory Seminar

The logical questions concern algorithms for testing solvability of equations (and more generally truth of first-order sentences), and have positive answers for the real exponential and the Weierstrass functions (assuming respectively the Schanuel and Andre Conjectures). For the complex exponential the answers are negative, but there insights of Zilber around the model theory of Schanuel's Conjecture lead to new ideas on which exponential equations can be solved in the complex field.