Logic Seminar-Diagonal method and tree strategies

Wednesday, February 15, 2017


Speaker: Valentina Harizanov, GWU


Place: Rome Hall (801 22nd Street), Room 351

Title: Diagonal method and tree strategies

Abstract: We will continue with more sophisticated diagonal arguments in computability theory and how they can be presented on a tree.