March 20
Roman Kossak,
CUNY
Complexity of the isomorphism relation for finitely generated models of PA
I present a proof, from a joint paper with Sam Coskey, that the isomorphism relation for finitely generated models of PA is not smooth.
March 20
Roman Kossak,
CUNY
Complexity of the isomorphism relation for finitely generated models of PA
I present a proof, from a joint paper with Sam Coskey, that the isomorphism relation for finitely generated models of PA is not smooth.