Seminariteade / Seminar announcement

Speaker: | Andrey BOVYKIN, University of Liverpool, U.K. |

Home page: | http://logic.pdmi.ras.ru/~andrey/ |

Place: | Room B101, Cybernetica Bldg, Akadeemia tee 21, Tallinn, Estonia |

Time: | Wednesday, November 1, 2006, 14:00 |

### "A survey of new unprovability results"

### Abstract

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.