Blog Archives
Topic Archive: Tanaka's self-embedding theorem
Models of PAWednesday, March 6, 20136:30 pmGC 4214.03
Several versions of self-embedding theorem
Mathematical Institute, Tohoku University
In this talk, I will give several versions of Friedman’s self-embedding theorem which can characterize subsystems of Peano arithmetic. Similarly, I will also give several variations of Tanaka’s self-embedding theorem to characterize subsystems of second-order arithmetic.