Sam Dworetzky: The classification problem for models of Peano Arithmetic

Tuesday, February 14 from 3 to 4pm
Room: MB 124
Speaker: Sam Dworetzky (BSU)
Title: The classification problem for models of Peano Arithmetic

Abstract: It is well known that the countable models of Peano Arithmetic (PA) are complicated to classify. In this talk we will make this precise using the language of Borel complexity theory. We will use a construction of Gaifman to show there is a Borel reduction from the isomorphism relation on linear orders to the isomorphism relation on models of PA.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.