Wednesday, December 11, 20136:30 pmModels of PAGC 4214.03

# Equivalence relations in models of Peano arithmetic

## Simon Heller

### GC CUNY

The talk will be about the correspondence between definable equivalence relations on countable recursively saturated models of PA and the closed normal subgroups of their automorphism groups.