Wednesday, May 8, 20135:00 pmnote new timeModels of PAGC 4214.03

The automorphism group of a model of arithmetic: recognizing standard system

Ermek Nurkhaidarov

Penn State Mont Alto

Ermek Nurkhaidarov

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.

Ermek Nurkhaidarov’s research focus is mathematical logic. In particular, he is interested in studying models of arithmetic.