Blog Archives
Topic Archive: Schanuel's Conjecture
Model theory seminarFriday, September 9, 201612:30 pmGC 6417
The logical complexity of Schanuel’s Conjecture
University of Illinois at Chicago
In its most natural form Schanuel’s Conjecture is a $\Pi_1^1$-statement. We will show that there is an equivalent $\Pi^0_3$-statement. They key idea is a result of Jonathan Kirby showing that, if Schanuel’s Conjecture is false, then there are canonical counterexamples. Most of my lecture will describe Kirby’s work.