|Time:|| 12 - 1:20 p.m.
Baker Hall 150
|Speaker:|| Jeremy Avigad
Department of Philosophy
Carnegie Mellon University
Interpreting weak theories of nonstandard arithmetic
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.