University Seminar: Logic Across Disciplines-Gödel Index Sets of Computable Structures

Title:   Gödel Index Sets of Computable Structures

Speaker:  Valentina Harizanov, GWU

Date and Time: Thursday, November 16 2017, 02:30pm-03:30pm

Place: Rome Hall 771

Abstract:  For a computable structure, we define its index set to be the set of all Gödel codes for computable isomorphic copies. We will show how to calculate precisely the complexity of the index sets for some familiar algebraic structures. We will further discuss the most recent results in this area.