Poster

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

Equivalence relations in models of Peano arithmetic

Simon Heller

GC CUNY

Simon Heller

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.