Models of PAWednesday, November 12, 20144:50 pmGC 6300

# Decoding in the automorphism group of a model of arithmetic.

## Ermek Nurkhaidarov

### Penn State Mont Alto

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.

Posted by

on November 5th, 2014