For more information about this meeting, contact Stephen Simpson.

Title: | Reverse mathematics for analysis |

Seminar: | Logic Seminar |

Speaker: | Keita Yokoyama, Tohoku University, Japan |

Abstract Link: | http://www.math.tohoku.ac.jp/~y-keita/ |

Abstract: |

Reverse Mathematics is a program of mathematical logic that classifies
ordinary mathematical theorems using their logical strength. It was
initiated by H. Friedman and is carried forward strongly by S. Simpson
and others.
In this talk, I will measure the strength of many theorems of basic
analysis by way of Reverse Mathematics. For example, the Cauchy
integral theorem for holomorphic functions is weaker than the Riemann
mapping theorem, but it is stronger than the Taylor expansion theorem
for holomorphic functions.
To do Reverse Mathematics, we need to prove ordinary mathematical
theorems within very weak systems. In the latter part of my talk, I
will introduce techniques of non-standard analysis which give a
general method to do analysis in weak systems. |

### Room Reservation Information

Room Number: | MB315 |

Date: | 09 / 01 / 2009 |

Time: | 02:30pm - 03:45pm |