Wednesday, November 12, 20144:50 pmModels of PAGC 6300

Decoding in the automorphism group of a model of arithmetic.

Ermek Nurkhaidarov

Penn State Mont Alto

Ermek Nurkhaidarov

In the talk I will discuss results on recovering a countable recursively saturated model of Peano Arithmetic from its automorphism group.

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