Logic Seminar-Computable structures and their properties

Time: Thursday, March 10, 11:00 am-12:00 noon

Place: zoom
https://gwu-edu.zoom.us/j/95011649187

Speaker:  Valentina Harizanov, GWU

Title: Computable structures and their properties

Abstract: We use semantic and syntactic methods of computability theory to investigate computability-theoretic properties of algebraic structures. The goal is to understand how algebraic and algorithmic properties interact. We will present several results on the computability-theoretic complexity of countable structures for computable languages and on complexity of additional relations on computable structures.