University of Liverpool, U.K.'; $tit ='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. '; ?>
Speaker: ,
Place: Room , Cybernetica Bldg, Akadeemia tee 21, Tallinn, Estonia
Time:


""

Abstract