Blog Archives
Topic Archive: standard system
Models of PAWednesday, May 8, 20135:00 pmGC 4214.03
The automorphism group of a model of arithmetic: recognizing standard system
Penn State Mont Alto
Let M be countable recursively saturated model of Peano Arithmetic. In the talk I will discuss ongoing research on recognizing standard system of M in the automorphism group of M.