| Time: | 12 - 1:20 p.m. |
| Room: |
Baker Hall 150
|
| Speaker: | Jeremy Avigad Department of Philosophy Carnegie Mellon University |
| Title: |
Interpreting weak theories of nonstandard arithmetic
|
| Abstract: |
I will discuss a remarkably direct interpretation of some weak theories of
nonstandard arithmetic in their standard analogues. I will also discuss the
types of arguments that can be formalized in such theories, and what can be
learned from the interpretation.
|