Models of PAWednesday, December 11, 20136:30 pmGC 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.

Posted by

on November 29th, 2013