Several versions of self-embedding theorem

Models of PAWednesday, March 6, 20136:30 pmGC 4214.03

Keita Yokoyama

Several versions of self-embedding theorem

Keita Yokoyama

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.

Keita Yokoyama is an assistant professor in the Mathematical Institute at Tohoku University in Sendai, Japan. Previously he held a postdoctoral appointment at Pennsylvania State University.

Tanaka's self-embedding theoremself-embedding theoremssubsystems of Peano arithmeticsubsystems of second-order arithmetic
Make poster
Posted by Roman Kossak on February 24th, 2013