|Speaker:||Andrey BOVYKIN, University of Liverpool, U.K.|
|Place:||Room B101, Cybernetica Bldg, Akadeemia tee 21, Tallinn, Estonia|
|Time:||Wednesday, November 1, 2006, 14:00|
"A survey of new unprovability results"
I will talk about unprovable first-order mathematical statements and second-order statements of high logical strength.
The discussion of unprovable statements will include results about games on braid groups, a statement about the Riemann zeta-function, dynamical systems, and exact unprovability results for the Graph Minor Theorem.
The discussion of logical strength will be about Ramsey Theory: Infinite Ramsey Theorem for pairs, Infinite Canonical Ramsey Theorem and Infinite Regressive Ramsey Theorem.