Blog Archives

Topic Archive: Schanuel's Conjecture

Model theory seminarFriday, September 9, 201612:30 pmGC 6417

David Marker

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.