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