Special Logic/Number Theory Seminar
How the Schanuel and Andre Conjectures Affect Logical Questions About the Real and Complex Exponentials and the Weierstrass Elliptic Functions
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.
Date & Time
September 25, 2007 | 4:00pm – 5:00pm
Location
S-101Speakers
A. MacIntyre
Affiliation
London University